Deterministische KI-Forschung

Jede Ausgabe lässt sich nachvollziehen von Hand.

Aleten entwickelt Ackren, eine deterministische Dialog-Engine für den regulierten Einsatz. Nirgendwo in der Pipeline statistische Inferenz, Antwortzeiten im einstelligen Millisekundenbereich und ein Ableitungsprotokoll für jede Antwort. Ackren ist noch kein Produkt: Das Entwicklungsprotokoll ist öffentlich, die Spezifikationen erscheinen, sobald sie fertig sind, die Engine ist bereits zum Ausprobieren live, und eine lauffähige Produktdemo ist vier bis sechs Monate entfernt.

Latenz · gemessen
~7.700×
Antwort
3,6 ms
Artefakt · Octavo
16 MB
SRAM · zzgl. eingeblendetem Index
50 KB

Eine Flattermarke des Buchbinders. Eine korrekte Lage zeigt eine ungebrochene Diagonale, eine falsche bricht sichtbar. Sechshundert Jahre alt, kein Instrument nötig, in einer Sekunde mit bloßem Auge lesbar. Fahren Sie über die Marke oder tippen Sie sie an, um sie außer Reihenfolge zu bringen.

Entwicklungsprotokoll

Was sich geändert hat, und in welchem Build

Jeder Eintrag vollständig, mindestens monatlich. Wird der Takt verfehlt, sagt diese Seite es, statt zu verstummen. Korrekturen sind eine vollwertige Eintragsart, und überholte Zahlen werden durchgestrichen, nie gelöscht.

Forschung28. Jul. 2026

Die formale Spezifikation ist mit v0.4 fertig

Sie erscheint so, wie sie ist, ohne vorgeschaltetes Formular und ohne dass eine E-Mail-Adresse erhoben wird. Die Mathematik ist hier das stärkste Gut, also verlässt sie als Erstes das Haus.

Spezifikation v0.4

Build24. Jul. 2026

Trigramm-Trefferquote auf 0,461 im Holdout-Set gesteigert

Zuvor 0,449. Das Pruning entfernt weiterhin 55,1 % der Trigrammmasse, ein 16-MB-Build bleibt also ein Bigrammmodell mit Trigramm-Ausnahmen.

Build 7f2a9c31

Korrektur18. Jul. 2026

Mehrheitsentscheid aus dem Annotationsverfahren zurückgezogen

Er funktioniert nur, wenn Fehler unabhängig sind, und bei mehrdeutigen Items sind sie das nicht. Ersetzt durch dreifache Annotation und fachliche Schlichtung.

Verfahren v2

Regulierung11. Jul. 2026

Die Fristen der KI-Verordnung nach dem Digital Omnibus

Hochrisiko nach Anhang III verschoben auf den 2. Dezember 2027. Die Transparenzpflicht nach Artikel 50 bleibt beim 2. August 2026, und sie gilt für uns. Determinismus bringt dort nichts.

Geprüft am 11. Jul. 2026

Build3. Jul. 2026

Schema des Ableitungsprotokolls festgelegt, versioniert und offen

Das Satzformat wurde festgelegt, bevor jemand danach gefragt hat, unter einer permissiven Lizenz, mit Änderungsprotokoll und der Einladung, es zu implementieren.

Schema v1.0.0

Forschung26. Jun. 2026

Stille Lookup-Fehler, gezählt statt geschätzt

Rund 6.100 auf eine Milliarde Anfragen bei der aktuellen Indexbreite. Sie werden mit Bits abgekauft, und die Bits kosten den Großteil eines 16-MB-Budgets.

Spezifikation v0.4 §7

Programm19. Jun. 2026

Das Verifikationsprogramm, und was es zahlt

Vierhundert Stunden zu fünfzehn Pfund, bezahlt pro verifizierter Stunde statt pro Item, damit der Anreiz nicht darin besteht, die unsicheren Fälle zu überstürzen.

Programm v1

Build5. Jun. 2026

Octavo passt in 16 MB, mit einer schwächeren Garantie

Eine Falschannahme auf 4.096, gegenüber einer auf 16,7 Millionen bei Quarto. Zwölf-Bit-Fingerabdrücke sind alles, was das Budget zulässt, und das wird mit dem Namen gesagt.

Build 4c81e0a2

Korrektur29. Mai 2026

Der Energievergleich wurde zurückgezogen

Er beruhte auf einer Batchgröße, die niemand veröffentlicht hat, war also keine Zahl, die wir verteidigen konnten. Gestrichen, bis sie neu berechnet werden kann. Die Latenz ist davon unberührt.

2 bis 6 ×10⁵ · zurückgezogen, nicht ersetzt

Aussagen v1.1

Ackren

Drei Formate, eine Engine

Die Namen sind Bogenfalze aus der Druckerei: Folio ist ein Falz, Quarto zwei, Octavo drei. Das Format benennt die Hardware-Untergrenze, nicht die Kompetenz, und jedes Paket läuft auf jedem Format, allein begrenzt durch den Flash. Das ist keine Leistungsleiter.

Folio

Ein Falz · Linux

Das vollständige Artefakt im Gigabyte-Maßstab, speichereingeblendet, dort wo Speicherplatz nicht die bindende Grenze ist. Fingerabdrücke in voller Breite.

Untergrenze Linux Garantie Volle Breite

Quarto

Zwei Falze · PSRAM

Rund 200 MB auf einer Karte. Die mittlere Untergrenze, und diejenige, die die meisten Embedded-Ziele tatsächlich erreichen, ohne die Platine neu zu entwerfen.

Budget ~200 MB Falschannahme 1 zu 16,7 Mio.

Octavo

Drei Falze · 16 MB XIP

Sechzehn Megabyte, direkt im Flash ausgeführt, gar keine Karte. Octavo trägt eine schwächere Garantie und nicht bloß weniger Inhalt: Zwölf-Bit-Fingerabdrücke sind alles, was das Budget zulässt.

Budget 16 MB Falschannahme 1 zu 4.096

Domänenpakete

Gesammelt

Kompetenz wird als Paket ausgeliefert: verfasst, aufgeführt und prüfbar. Der Dialog ist die Basis-Engine und kein Paket, und die Autorenschaft ist ein Forschungsproblem, kein angekündigtes Feature.

Gesammelt in Quire

Selbst ausprobieren

Die Engine läuft live auf ackren.com

Sie verankert, was Sie ihr sagen, stellt eigene Rückfragen und druckt für jeden Zug das Ableitungsprotokoll, einschließlich des typisierten Flags bei den Zügen, die sie verweigert. Sie weiß noch nichts und sagt das, statt zu raten. Der Playground braucht kein Konto, und das Gespräch verlässt Ihren Browser nie.

Forschung

Die Mathematik veröffentlichen

Jedes Dokument ist datiert, versioniert und zitierfähig, und jede Zahl trägt die Grundlage, aus der sie abgeleitet wurde: gemessen, berechnet, modelliert oder zitiert. Eine Zahl ohne ihre Grundlage ist keine Aussage, und sie erscheint auf dieser Seite nicht.

  • Grammatik und Parsing
  • Qualia-Relationen
  • Determinismus
  • Verifikation
  • Ableitungsprotokollierung
  • Regulierter Einsatz
  • Jul. 2026 Formale Spezifikation der Ackren-Engine v0.4
  • Jul. 2026 Die acht Stufen: Pipeline-Spezifikation, mit typisierten Flags v0.7
  • Jul. 2026 Satz des Ableitungsprotokolls, ein offenes und versioniertes Schema v1.0.0
  • Jun. 2026 Fehlerbilanz: elf Zeilen, zwei davon nicht belastbar Notiz
  • Mai 2026 Die 16-MB-Passung ist durch den Wortschatz begrenzt, nicht durch die N-Gramme Notiz

Diese Dokumente sind noch nicht veröffentlicht, dies ist also eine Liste und keine Sammlung von Links. Jedes geht unter einer stabilen URL online, sobald es fertig ist, und nichts steht hinter einem Formular. Fragen Sie jetzt nach einem davon, und Sie bekommen die aktuelle Fassung: research@aleten.com.

Grenzen

Was das nicht löst

Jeder bekannte Fehlermodus wird veröffentlicht, bevor ihn jemand anderes findet. Vier davon stehen unten, jeweils mit der Bedingung, unter der er erkannt wird.

Die vollständige Bilanz umfasst elf Zeilen, zwei davon nicht belastbar. Sie erscheint mit der Spezifikation.

01

Neuartige Brückenbildung

Erkannt, nie aufgelöst. Die Abdeckung bleibt strikt kleiner als eins, gleich wie viel verfasst wird, und keine noch so große Autorenarbeit schließt die Lücke.

02

Nicht-konventionelle Implikatur

Erkennung ist erreichbar. Auflösung nicht. Dieses Problem ist für alle offen, auch für Transformer-Modelle, die beim Scheitern kein Signal geben.

03

Kohärenz über längere Texte

Nichts im Modell hält ein Argument über Absätze hinweg zusammen. Autorenschaft ist ein Forschungsproblem, kein angekündigtes Feature.

04

Determinismus über Builds hinweg

Determinismus gilt innerhalb eines Builds, identifiziert durch den Artefakt-Hash. Über Builds hinweg gilt er nicht, und wir behaupten auch nicht, dass er es täte.

Arbeiten Sie mit uns

Wir stellen ein, und die Konditionen sind veröffentlicht

Das Verifikationsprogramm zahlt fünfzehn Pfund pro Stunde, pro verifizierter Stunde statt pro Item, damit der Anreiz nicht darin besteht, die unsicheren Fälle zu überstürzen. Das Qualitätsverfahren ist öffentlich, bevor Sie sich bewerben: fünf Prozent eingestreute Gold-Items, zwanzig Prozent dreifach annotiert, und Fleiss' Kappa wird ausgewiesen.

  • Annotator, Verifikationsprogramm
  • Grammatik-Autor
  • Embedded-Systems-Ingenieur
  • Leitung Regulierung und Normung
  • Forschungsingenieur, Parsing

Kein Bewerbungsformular und kein Bewerbermanagementsystem. Schreiben Sie an work@aleten.com, welche dieser Stellen Sie möchten, und ein Mensch antwortet.

Schreiben Sie uns