Knuths Problem, wieder einmal: ein LaTeX-Editor für KI-Agenten

Im Frühjahr 1977 erhielt Donald Knuth die Druckfahnen einer Neuauflage von The Art of Computer Programming und fand sie hässlich. Sein Verlag hatte den Bleisatz gegen Fotosatz getauscht, und die Mathematik, die einst wie gemeißelt aussah, wirkte nun wie fotokopiert. Er schrieb keinen wütenden Brief. Er veranschlagte etwa sechs Monate, legte seine Forschung beiseite und begann, ein eigenes Satzsystem zu bauen. Es wurden fast zehn Jahre daraus. Das LaTeX, das die meisten von uns heute tippen, ist Leslie Lamports spätere Freundlichkeit: eine Schicht zugänglicher Makros über der Maschine, die Knuth gebaut und TeX genannt hatte.

Diese Geschichte erzählte mir mein Mentor David Turnbull in einem unserer Zoom-Gespräche. Er empfahl mir Knuths Bücher. Im selben Gespräch zeigte er mir zwei Editoren, die er bewunderte: Typst, das Schreiben und Rendern in eine einzige lebendige Fläche faltet, und LiquidText, mit dem man einen Gedanken genau an die Stelle der Seite heftet, die ihn ausgelöst hat. An jenem Nachmittag begriff ich es nicht, aber er hatte mir in einem Atemzug eine Leseliste und einen Entwurfsauftrag überreicht.

Was mir von der Knuth-Geschichte blieb, ist nicht das heroische Jahrzehnt. Es ist die Weigerung an ihrem Anfang. Die Seiten waren falsch, und er hatte keine Möglichkeit, hineinzugreifen und sie richtigzustellen — also baute er das Hineingreifen. Eine Ausgabe, die er nicht prüfen und kontrollieren konnte, würde er nicht hinnehmen.

Fünfzig Jahre später schreibe ich Paper mit einem KI-Agenten, und dasselbe Problem ist leise zurückgekehrt, in neuen Kleidern.

Der Agent schreibt besseres LaTeX als ich. Das war nie die Frage. Bitte Claude, einen Absatz zu straffen, und du bekommst einen strafferen Absatz. Was er dir nicht geben kann, sind zwei Dinge: Ort und Beweis. Ort: welcher Satz, auf welcher Seite, in welcher Datei — der Agent editiert blind, denn er sieht die gerenderte Seite nie, die du gerade liest. Beweis: was genau hat sich nach der Änderung geändert? Du kannst fragen, das Modell wird antworten, und die Antwort ist ein Zeugnis. Der Bericht eines Modells über seine eigenen Änderungen ist die Erinnerung an eine Absicht. Er ist kein Diff.

Knuths Antwort auf schlechte Ausgabe war ein System, in dem jede Marke auf der Seite auf einen Befehl zurückgeht, den er selbst geschrieben hat. Beim Bau von MagicTeX war unsere Antwort das Spiegelbild: Jede Marke, die der Agent hinterlässt, muss nach vorn in ein Verzeichnis eingehen, das dem Menschen gehört.

Der Editor funktioniert so: Du liest das gerenderte PDF, wie ein Betreuer einen Ausdruck liest, und kommentierst die Seite selbst — du markierst eine Passage und schreibst „groß im Vergleich wozu?“. Der Agent erhält das nicht als Stimmung, sondern als verortete Anweisung: die Seite, die zitierte Passage, Quelldatei und Zeile, deine Bitte. Er ändert genau dort. Und in dem Moment, in dem das Paper neu kompiliert, wird der neue Zustand in eine versteckte git-Ref geschrieben: nicht deine Branches, nicht dein git log — ein paralleles Kontobuch, das der Arbeitsbereich für dich führt. Jede Kompilierung ist ein Checkpoint. Jeder Checkpoint hat sein Diff. Jede Datei lässt sich zurückversetzen. Typst lehrte das Fenster; LiquidText lehrte die Ränder; git übernimmt, ganz leise, das Erinnern.

Dieses Kontobuch erlaubt uns, großzügig mit Autonomie zu sein. MagicTeX hat einen Modus namens /ultra-agents: Ein Reviewer-Agent kritisiert das Paper, nimmt seine eigenen Vorschläge an und behebt sie, Runde um Runde, ohne menschliche Freigabe dazwischen. So beschrieben klingt das leichtsinnig. Es ist aus genau einem Grund vertretbar: Es kann dem Kontobuch niemals davonlaufen. Jede Runde landet als gewöhnlicher, umkehrbarer Checkpoint, und wenn sich der Staub gelegt hat, liest du die Geschichte als Schiedsrichter, nicht als Geisel. Man darf den Stift etwas Schnellerem überlassen — solange man Seite, Ränder und Geschichte behält.

Knuth verstand diesen Gesellschaftsvertrag von der anderen Seite. Berühmt ist sein Scheck über 2,56 Dollar — ein hexadezimaler Dollar — für jeden, der einen Fehler in seinen Büchern findet. Die meisten Empfänger rahmen den Scheck, statt ihn einzulösen, und genau das beweist den Punkt: Das Geld war nie die Belohnung. Die Belohnung ist, einem System anzugehören, das sagt: Fehler sind hier auffindbar, und wer sie findet, wird geehrt. Dafür ist eine Prüfspur da. Nicht für Misstrauen — für Gastfreundschaft gegenüber der Korrektur.

Ich glaube nicht, dass die Lehre von 1977 lautet, den eigenen Werkzeugen zu misstrauen. Knuth zog sich nicht auf die Schreibmaschine zurück; er baute eine bessere Maschine und schrieb obendrein ein Errata-Kopfgeld in ihre Kultur. Die Lehre ist: Delegieren und Kontrollieren sind keine Gegensätze — man kann den schnellsten Mitarbeiter umarmen, den man je hatte, und trotzdem höflich auf Beweisen bestehen.

Das ist die ganze Idee von MagicTeX, und sie begann mit einer Geschichte, erzählt über Zoom. Du markierst die Seite. Der Agent bearbeitet die Quelle. Und git erinnert sich, was wirklich geschah — wer auch immer, oder was auch immer, getippt hat.