Deterministisk AI-forskning

Hvert svar kan udledes igen i hånden.

Aleten bygger Ackren, en deterministisk samtalemotor til reguleret drift. Ingen statistisk inferens nogen steder i kæden, svartider på under ti millisekunder og en afledningslog for hvert svar. Ackren er endnu ikke et produkt: udviklingsloggen er offentlig, specifikationerne udkommer efterhånden som de bliver færdige, motoren er live og kan afprøves, og en fungerende produktdemo er fire til seks måneder væk.

Latenstid · målt
~7.700×
Svar
3,6 ms
Artefakt · Octavo
16 MB
SRAM · plus mappet indeks
50 KB

En bogbinders rygmærke. Et korrekt læg viser en ubrudt diagonal, og et forkert bryder den synligt. Seks hundrede år gammelt, intet instrument nødvendigt, aflæst med øjet på et sekund. Før musen hen over mærket eller tryk på det for at sætte det ude af rækkefølge.

Udviklingslog

Hvad der ændrede sig, og i hvilket build

Hver post i sin helhed, mindst månedligt. Hvis kadencen svigter, siger denne side det frem for at gå i stå. Rettelser er en fuldgyldig posttype, og forældede tal streges ud, aldrig slettes.

Forskning28. jul. 2026

Den formelle specifikation er færdig i v0.4

Den udkommer, som den er, uden formular foran og uden at der indsamles e-mailadresser. Matematikken er det stærkeste aktiv her, så den er det første, der forlader huset.

Spec. v0.4

Build24. jul. 2026

Trigram-træfrate hævet til 0,461 på det tilbageholdte sæt

Op fra 0,449. Beskæring fjerner stadig 55,1 % af trigrammassen, så et 16 MB-build er fortsat en bigrammodel med trigramundtagelser.

Build 7f2a9c31

Rettelse18. jul. 2026

Flertalsafstemning trukket tilbage fra annoteringsregimet

Den virker kun, hvis fejl er uafhængige, og på tvetydige elementer er de det ikke. Erstattet af tredobbelt annotering og faglig afgørelse.

Regime v2

Regulering11. jul. 2026

AI-forordningens datoer efter Digital Omnibus

Højrisiko i bilag III udskudt til 2. december 2027. Gennemsigtighedskravet i artikel 50 står fast på 2. august 2026, og det gælder for os. Determinisme køber intet dér.

Gennemgået 11. jul. 2026

Build3. jul. 2026

Skema for afledningsloggen fastlagt, versioneret og åbent

Postformatet blev fastlagt, før nogen bad om det, under en tilladelig licens, med en ændringslog og en invitation til at implementere det.

Skema v1.0.0

Forskning26. jun. 2026

Tavse opslagsfejl, talt frem for anslået

Omkring 6.100 pr. milliard forespørgsler ved den nuværende indeksbredde. De købes væk med bits, og de bits koster størstedelen af et 16 MB-budget.

Spec. v0.4 §7

Program19. jun. 2026

Verifikationsprogrammet, og hvad det betaler

Fire hundrede timer til femten pund, betalt pr. verificeret time frem for pr. element, så incitamentet ikke er at haste gennem de usikre tilfælde.

Program v1

Build5. jun. 2026

Octavo er inden for 16 MB, med en svagere garanti

Én falsk accept ud af 4.096, over for én ud af 16,7 millioner på Quarto. Tolv bits fingeraftryk er alt, hvad budgettet tillader, og det siges sammen med navnet.

Build 4c81e0a2

Rettelse29. maj 2026

Energisammenligningen er trukket tilbage

Den hvilede på en batchstørrelse, som ingen har offentliggjort, så det var ikke et tal, vi kunne forsvare. Streget ud, indtil det kan genberegnes. Latenstiden er upåvirket.

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

Påstande v1.1

Ackren

Tre formater, én motor

Navnene er bogtrykkerens arkfoldninger: folio er én foldning, quarto to, octavo tre. Formatet navngiver hardwaregulvet, ikke kompetencen, og enhver pakke kører på ethvert format, alene begrænset af flash. Dette er ikke en kapabilitetsstige.

Folio

Én foldning · Linux

Hele artefaktet i gigabyteskala, hukommelsesmappet, dér hvor lagerplads ikke er den bindende begrænsning. Fingeraftryk i fuld bredde.

Gulv Linux Garanti Fuld bredde

Quarto

To foldninger · PSRAM

Omkring 200 MB mod et kort. Mellemgulvet, og det som de fleste indlejrede mål faktisk kan nå uden at gentegne printet.

Budget ~200 MB Falsk accept 1 ud af 16,7 mio.

Octavo

Tre foldninger · 16 MB XIP

Seksten megabyte, eksekveret på stedet, slet intet kort. Octavo bærer en svagere garanti frem for blot mindre indhold: tolv bits fingeraftryk er alt, hvad budgettet tillader.

Budget 16 MB Falsk accept 1 ud af 4.096

Domænepakker

Samlet

Kompetence leveres som en pakke: skrevet, opført og kontrollerbar. Samtalen er basismotoren frem for en pakke, og forfatterskabet er et forskningsproblem snarere end en kommende funktion.

Samlet i Quire

Prøv det selv

Motoren kører live på ackren.com

Den forankrer det, du fortæller den, stiller sine egne opfølgende spørgsmål og udskriver afledningsloggen for hver tur, inklusive det typede flag på de ture, den afviser. Den ved endnu ingenting og siger det i stedet for at gætte. Legepladsen kræver ingen konto, og samtalen forlader aldrig din browser.

Forskning

Offentliggør matematikken

Hvert dokument er dateret, versioneret og citérbart, og hvert tal bærer det grundlag, det er udledt af: målt, beregnet, modelleret eller citeret. Et tal uden sit grundlag er ikke en påstand, og det optræder ikke på dette websted.

  • Grammatik og parsing
  • Qualia-relationer
  • Determinisme
  • Verifikation
  • Afledningslogning
  • Reguleret drift
  • jul. 2026 Formel specifikation af Ackren-motoren v0.4
  • jul. 2026 De otte trin: specifikation af kæden, med typede flag v0.7
  • jul. 2026 Post i afledningsloggen, et åbent og versioneret skema v1.0.0
  • jun. 2026 Fejlregnskab: elleve rækker, to af dem uholdbare Notat
  • maj 2026 16 MB-tilpasningen er begrænset af ordforrådet, ikke af n-grammerne Notat

Disse dokumenter er ikke udgivet endnu, så dette er en liste og ikke et sæt links. Hvert enkelt lægges op på en stabil URL, når det er færdigt, uden noget bag en formular. Bed om et af dem nu, og du får den aktuelle version: research@aleten.com.

Grænser

Hvad dette ikke løser

Hver kendt fejltilstand offentliggøres, før nogen anden finder den. Fire af dem står nedenfor, med betingelsen for at opdage hver enkelt anført ved siden af.

Det fulde regnskab løber op i elleve rækker, hvoraf to er uholdbare. Det lægges op sammen med specifikationen.

01

Ny brobygning

Opdages, løses aldrig. Dækningen er strengt mindre end én, uanset hvor meget der skrives, og ingen mængde forfatterarbejde lukker hullet.

02

Ikke-konventionel implikatur

Opdagelse er opnåelig. Løsning er det ikke. Dette problem er åbent for alle, også transformermodeller, som ikke markerer det, når de fejler.

03

Sammenhæng over lange tekster

Intet i modellen holder et argument sammen på tværs af afsnit. Forfatterskab er et forskningsproblem, ikke en kommende funktion.

04

Determinisme på tværs af builds

Determinisme holder inden for et build, identificeret ved artefakt-hash. Den holder ikke på tværs af builds, og vi hævder ikke, at den gør.

Arbejd sammen med os

Vi ansætter, og vilkårene er offentliggjort

Verifikationsprogrammet betaler femten pund i timen, pr. verificeret time frem for pr. element, så incitamentet ikke er at haste gennem de usikre tilfælde. Kvalitetsregimet er offentligt, før du søger: fem procent indlagte guldelementer, tyve procent tredobbelt annoteret, og Fleiss' kappa rapporteret.

  • Annotator, verifikationsprogram
  • Grammatikforfatter
  • Ingeniør i indlejrede systemer
  • Ansvarlig for regulering og standarder
  • Forskningsingeniør, parsing

Ingen ansøgningsformular og intet rekrutteringssystem. Skriv til work@aleten.com og fortæl, hvilken af dem du vil have, så svarer et menneske.

Skriv til os