Deterministisk AI-forskning

Varje utdata kan härledas om för hand.

Aleten bygger Ackren, en deterministisk samtalsmotor för reglerad drift. Ingen statistisk inferens någonstans i kedjan, svarstider på ensiffriga millisekunder och en härledningslogg för varje svar. Ackren är ännu inte en produkt: utvecklingsloggen är öppen, specifikationerna släpps allt eftersom de blir klara, motorn är live och går att prova, och en fungerande produktdemo är fyra till sex månader bort.

Latens · uppmätt
~7 700×
Svar
3,6 ms
Artefakt · Octavo
16 MB
SRAM · plus minnesmappat index
50 KB

En bokbindares ryggmärke. Ett korrekt lägg visar en obruten diagonal, och ett felaktigt bryter den synligt. Sexhundra år gammalt, inget instrument behövs, avläst med ögat på en sekund. För markören över märket eller tryck på det för att sätta det ur ordning.

Utvecklingslogg

Vad som ändrades, och i vilket bygge

Varje post i sin helhet, minst en gång i månaden. Om takten missas säger den här sidan det i stället för att tystna. Rättelser är en fullvärdig posttyp och överspelade siffror stryks över, aldrig raderas.

Forskning28 juli 2026

Den formella specifikationen är klar i v0.4

Den släpps som den är, utan formulär framför och utan att någon e-postadress samlas in. Matematiken är den starkaste tillgången här, så den är det första som lämnar huset.

Spec. v0.4

Bygge24 juli 2026

Trigramträffkvot höjd till 0,461 på det undanhållna datasetet

Upp från 0,449. Beskärningen tar fortfarande bort 55,1 % av trigrammassan, så ett bygge på 16 MB förblir en bigrammodell med trigramundantag.

Bygge 7f2a9c31

Rättelse18 juli 2026

Majoritetsröstning tillbakadragen ur annoteringsregimen

Den fungerar bara om felen är oberoende, och på tvetydiga poster är de inte det. Ersatt med trippelannotering och expertavgörande.

Regim v2

Reglering11 juli 2026

AI-förordningens datum efter Digital Omnibus

Hög risk enligt bilaga III skjuts upp till 2 december 2027. Transparenskravet i artikel 50 ligger kvar på 2 augusti 2026, och det gäller oss. Determinism köper ingenting där.

Granskad 11 juli 2026

Bygge3 juli 2026

Schemat för härledningsloggen fastställt, versionerat och öppet

Postformatet fastställdes innan någon bad om det, under en tillåtande licens, med en ändringslogg och en inbjudan att implementera det.

Schema v1.0.0

Forskning26 juni 2026

Tysta uppslagsfel, räknade snarare än uppskattade

Ungefär 6 100 per miljard förfrågningar vid nuvarande indexbredd. De köps bort med bitar, och bitarna kostar merparten av en budget på 16 MB.

Spec. v0.4 §7

Program19 juni 2026

Verifieringsprogrammet, och vad det betalar

Fyrahundra timmar à femton pund, betalt per verifierad timme snarare än per post, så att incitamentet inte blir att jäkta genom de osäkra fallen.

Program v1

Bygge5 juni 2026

Octavo ryms i 16 MB, med en svagare garanti

En felaktig accept på 4 096, mot en på 16,7 miljoner för Quarto. Tolv bitars fingeravtryck är allt budgeten tillåter, och det sägs tillsammans med namnet.

Bygge 4c81e0a2

Rättelse29 maj 2026

Energijämförelsen har dragits tillbaka

Den vilade på en batchstorlek som ingen har publicerat, så det var inte en siffra vi kunde försvara. Struken tills den kan räknas om. Latensen är opåverkad.

2 till 6 ×10⁵ · tillbakadragen, inte ersatt

Påståenden v1.1

Ackren

Tre format, en motor

Namnen är tryckarens arkvikningar: folio är en vikning, quarto två, octavo tre. Formatet namnger hårdvarugolvet, inte kompetensen, och vilket paket som helst kör på vilket format som helst, endast begränsat av flashminnet. Detta är ingen kapacitetsstege.

Folio

En vikning · Linux

Hela artefakten i gigabyteskala, minnesmappad, där lagring inte är den bindande begränsningen. Fingeravtryck i full bredd.

Golv Linux Garanti Full bredd

Quarto

Två vikningar · PSRAM

Ungefär 200 MB mot ett kort. Mellangolvet, och det som de flesta inbyggda målplattformar faktiskt kan nå utan att rita om kortet.

Budget ~200 MB Felaktig accept 1 på 16,7 mn

Octavo

Tre vikningar · 16 MB XIP

Sexton megabyte, exekverat på plats, inget kort alls. Octavo bär en svagare garanti snarare än bara mindre innehåll: tolv bitars fingeravtryck är allt budgeten tillåter.

Budget 16 MB Felaktig accept 1 på 4 096

Domänpaket

Samlade

Kompetens levereras som ett paket: författat, förtecknat och kontrollerbart. Samtalet är basmotorn snarare än ett paket, och författandet är ett forskningsproblem snarare än en kommande funktion.

Samlade i Quire

Prova själv

Motorn är live på ackren.com

Den förankrar det du säger till den, ställer egna följdfrågor och skriver ut härledningsloggen för varje tur, inklusive den typade flaggan på de turer den avvisar. Den vet ännu ingenting och säger det i stället för att gissa. Lekplatsen kräver inget konto och samtalet lämnar aldrig din webbläsare.

Forskning

Publicera matematiken

Varje dokument är daterat, versionerat och citerbart, och varje siffra bär den grund den härletts ur: uppmätt, beräknad, modellerad eller citerad. En siffra utan sin grund är inte ett påstående, och den förekommer inte på den här webbplatsen.

  • Grammatik och parsning
  • Qualia-relationer
  • Determinism
  • Verifiering
  • Härledningsloggning
  • Reglerad drift
  • juli 2026 Formell specifikation av Ackren-motorn v0.4
  • juli 2026 De åtta stegen: specifikation av kedjan, med typade flaggor v0.7
  • juli 2026 Post i härledningsloggen, ett öppet och versionerat schema v1.0.0
  • juni 2026 Felredovisning: elva rader, två av dem inte hållbara Notis
  • maj 2026 Anpassningen till 16 MB begränsas av ordförrådet, inte av n-grammen Notis

De här dokumenten är inte publicerade ännu, så detta är en lista och inte en uppsättning länkar. Vart och ett läggs upp på en stabil URL när det är klart, utan något bakom ett formulär. Be om något av dem nu så får du den aktuella versionen: research@aleten.com.

Gränser

Vad detta inte löser

Varje känt felläge publiceras innan någon annan hittar det. Fyra av dem finns nedan, med villkoret för att upptäcka vart och ett angivet bredvid.

Den fullständiga redovisningen omfattar elva rader, varav två inte är hållbara. Den läggs upp tillsammans med specifikationen.

01

Ny brobyggnad

Upptäcks, löses aldrig. Täckningen är strikt mindre än ett hur mycket som än författas, och ingen mängd författande sluter gapet.

02

Icke-konventionell implikatur

Upptäckt är uppnåelig. Lösning är det inte. Det här problemet är öppet för alla, även transformermodeller, som inte flaggar det när de misslyckas.

03

Sammanhang över långa texter

Ingenting i modellen håller ihop ett argument över stycken. Författande är ett forskningsproblem, inte en kommande funktion.

04

Determinism mellan byggen

Determinism håller inom ett bygge, identifierat med artefakthash. Den håller inte mellan byggen, och vi påstår inte att den gör det.

Arbeta med oss

Vi rekryterar, och villkoren är publicerade

Verifieringsprogrammet betalar femton pund i timmen, per verifierad timme snarare än per post, så att incitamentet inte blir att jäkta genom de osäkra fallen. Kvalitetsregimen är offentlig innan du söker: fem procent inlagda guldposter, tjugo procent trippelannoterade, och Fleiss kappa redovisad.

  • Annotatör, verifieringsprogrammet
  • Grammatikförfattare
  • Ingenjör inom inbyggda system
  • Ansvarig för regelverk och standarder
  • Forskningsingenjör, parsning

Inget ansökningsformulär och inget rekryteringssystem. Skriv till work@aleten.com och berätta vilken av dem du vill ha, så svarar en människa.

Skriv till oss