Deterministisk KI-forskning

Hvert svar kan utledes på nytt for hånd.

Aleten bygger Ackren, en deterministisk samtalemotor for regulert drift. Ingen statistisk inferens noe sted i kjeden, svartider på ensifrede millisekunder og en utledningslogg for hvert svar. Ackren er ennå ikke et produkt: utviklingsloggen er offentlig, spesifikasjonene slippes etter hvert som de blir ferdige, motoren er live og kan prøves, og en fungerende produktdemo er fire til seks måneder unna.

Latens · målt
~7 700×
Svar
3,6 ms
Artefakt · Octavo
16 MB
SRAM · pluss minnemappet indeks
50 KB

Et ryggmerke fra bokbinderen. Et riktig legg viser en ubrutt diagonal, og et feil legg bryter den synlig. Seks hundre år gammelt, ingen instrumenter nødvendig, lest med øyet på ett sekund. Før pekeren over merket eller trykk på det for å sette det ute av rekkefølge.

Utviklingslogg

Hva som endret seg, og i hvilket bygg

Hver oppføring i sin helhet, minst månedlig. Hvis takten svikter, sier denne siden det i stedet for å bli stille. Rettelser er en fullverdig oppføringstype, og utdaterte tall strykes over, aldri slettes.

Forskning28. juli 2026

Den formelle spesifikasjonen er ferdig i v0.4

Den slippes som den står, uten skjema foran og uten at e-postadresser samles inn. Matematikken er den sterkeste ressursen her, så den er det første som forlater huset.

Spes. v0.4

Bygg24. juli 2026

Trigramtreffrate hevet til 0,461 på det holdte testsettet

Opp fra 0,449. Beskjæringen fjerner fortsatt 55,1 % av trigrammassen, så et bygg på 16 MB forblir en bigrammodell med trigramunntak.

Bygg 7f2a9c31

Rettelse18. juli 2026

Flertallsavstemning trukket tilbake fra annoteringsregimet

Den virker bare hvis feilene er uavhengige, og på tvetydige elementer er de ikke det. Erstattet med trippel annotering og faglig avgjørelse.

Regime v2

Regelverk11. juli 2026

Datoene i AI-forordningen etter Digital Omnibus

Høy risiko etter vedlegg III utsatt til 2. desember 2027. Åpenhetskravet i artikkel 50 står fast på 2. august 2026, og det gjelder oss. Determinisme kjøper ingenting der.

Gjennomgått 11. juli 2026

Bygg3. juli 2026

Skjema for utledningsloggen fastsatt, versjonert og åpent

Postformatet ble fastsatt før noen ba om det, under en tillatende lisens, med en endringslogg og en invitasjon til å implementere det.

Skjema v1.0.0

Forskning26. juni 2026

Tause oppslagsfeil, talt i stedet for anslått

Rundt 6 100 per milliard forespørsler ved dagens indeksbredde. De kjøpes bort med bit, og bitene koster mesteparten av et budsjett på 16 MB.

Spes. v0.4 §7

Program19. juni 2026

Verifiseringsprogrammet, og hva det betaler

Fire hundre timer til femten pund, betalt per verifisert time i stedet for per element, slik at insentivet ikke blir å haste gjennom de usikre tilfellene.

Program v1

Bygg5. juni 2026

Octavo får plass i 16 MB, med en svakere garanti

Én falsk aksept av 4 096, mot én av 16,7 millioner på Quarto. Tolv bits fingeravtrykk er alt budsjettet tillater, og det sies sammen med navnet.

Bygg 4c81e0a2

Rettelse29. mai 2026

Energisammenligningen er trukket tilbake

Den hvilte på en batchstørrelse ingen har publisert, så det var ikke et tall vi kunne forsvare. Strøket til det kan regnes om. Latensen er upåvirket.

2 til 6 ×10⁵ · trukket tilbake, ikke erstattet

Påstander v1.1

Ackren

Tre formater, én motor

Navnene er trykkerens arkbretter: folio er én brett, quarto to, octavo tre. Formatet navngir maskinvaregulvet, ikke kompetansen, og enhver pakke kjører på ethvert format, bare begrenset av flashminnet. Dette er ingen kapabilitetsstige.

Folio

Én brett · Linux

Hele artefaktet i gigabyteskala, minnemappet, der lagring ikke er den bindende begrensningen. Fingeravtrykk i full bredde.

Gulv Linux Garanti Full bredde

Quarto

To bretter · PSRAM

Rundt 200 MB mot et kort. Mellomgulvet, og det de fleste innebygde målplattformer faktisk kan nå uten å tegne om kortet.

Budsjett ~200 MB Falsk aksept 1 av 16,7 mill.

Octavo

Tre bretter · 16 MB XIP

Seksten megabyte, kjørt på stedet, uten kort i det hele tatt. Octavo bærer en svakere garanti og ikke bare mindre innhold: tolv bits fingeravtrykk er alt budsjettet tillater.

Budsjett 16 MB Falsk aksept 1 av 4 096

Domenepakker

Samlet

Kompetanse leveres som en pakke: skrevet, oppført og kontrollerbar. Samtalen er basismotoren og ikke en pakke, og forfatterskapet er et forskningsproblem snarere enn en kommende funksjon.

Samlet i Quire

Prøv selv

Motoren er live på ackren.com

Den forankrer det du forteller den, stiller sine egne oppfølgingsspørsmål og skriver ut utledningsloggen for hver tur, inkludert det typede flagget på de turene den avviser. Den vet ennå ingenting og sier det i stedet for å gjette. Lekeplassen krever ingen konto, og samtalen forlater aldri nettleseren din.

Forskning

Publiser matematikken

Hvert dokument er datert, versjonert og siterbart, og hvert tall bærer grunnlaget det er utledet fra: målt, beregnet, modellert eller sitert. Et tall uten sitt grunnlag er ikke en påstand, og det står ikke på dette nettstedet.

  • Grammatikk og parsing
  • Qualia-relasjoner
  • Determinisme
  • Verifisering
  • Utledningslogging
  • Regulert drift
  • juli 2026 Formell spesifikasjon av Ackren-motoren v0.4
  • juli 2026 De åtte trinnene: spesifikasjon av kjeden, med typede flagg v0.7
  • juli 2026 Post i utledningsloggen, et åpent og versjonert skjema v1.0.0
  • juni 2026 Feilregnskap: elleve rader, to av dem ikke holdbare Notat
  • mai 2026 Tilpasningen til 16 MB begrenses av ordforrådet, ikke av n-grammene Notat

Disse dokumentene er ikke publisert ennå, så dette er en liste og ikke et sett lenker. Hvert av dem legges ut på en stabil URL når det er ferdig, uten noe bak et skjema. Be om et av dem nå, så får du den gjeldende versjonen: research@aleten.com.

Grenser

Hva dette ikke løser

Hver kjent feiltilstand publiseres før noen andre finner den. Fire av dem står nedenfor, med vilkåret for å oppdage hver enkelt angitt ved siden av.

Det fulle regnskapet teller elleve rader, to av dem ikke holdbare. Det legges ut sammen med spesifikasjonen.

01

Ny brobygging

Oppdages, løses aldri. Dekningen er strengt mindre enn én uansett hvor mye som skrives, og ingen mengde forfatterarbeid lukker gapet.

02

Ikke-konvensjonell implikatur

Oppdagelse er oppnåelig. Løsning er det ikke. Dette problemet er åpent for alle, også transformermodeller, som ikke flagger det når de mislykkes.

03

Sammenheng over lange tekster

Ingenting i modellen holder et argument sammen på tvers av avsnitt. Forfatterskap er et forskningsproblem, ikke en kommende funksjon.

04

Determinisme på tvers av bygg

Determinisme holder innenfor ett bygg, identifisert med artefakt-hash. Den holder ikke på tvers av bygg, og vi påstår ikke at den gjør det.

Jobb sammen med oss

Vi ansetter, og vilkårene er publisert

Verifiseringsprogrammet betaler femten pund i timen, per verifisert time i stedet for per element, slik at insentivet ikke blir å haste gjennom de usikre tilfellene. Kvalitetsregimet er offentlig før du søker: fem prosent innlagte gullelementer, tjue prosent trippelannotert, og Fleiss' kappa rapportert.

  • Annotatør, verifiseringsprogrammet
  • Grammatikkforfatter
  • Ingeniør for innebygde systemer
  • Ansvarlig for regelverk og standarder
  • Forskningsingeniør, parsing

Ingen søknadsskjema og ingen rekrutteringssystem. Skriv til work@aleten.com og si hvilken av dem du vil ha, så svarer et menneske.

Skriv til oss