Donald Knuth hatte ein Problem. Claude löste es in einer Stunde.
«Shock! Shock!» — so beginnt Donald Knuth sein neuestes Paper. Nicht gerade die übliche Eröffnung für einen der einflussreichsten Informatiker der Geschichte. Aber was ihm passiert ist, war auch nicht üblich.
Knuth, 88 Jahre alt, Professor an der Stanford University und Autor des Standardwerks The Art of Computer Programming, arbeitete seit Wochen an einem offenen mathematischen Problem. Es ging um gerichtete Hamiltonsche Zyklen: Kann man einen bestimmten Graphen mit m³ Knoten immer in drei Zyklen zerlegen, die jeden Knoten genau einmal besuchen?
Für den Fall m = 3 hatte er eine Lösung. Für die Verallgemeinerung fehlte ihm der entscheidende Schritt.
Dann löste Claude Opus 4.6 das Problem. In einer Stunde. In 31 Schritten.
Was genau ist passiert?
Filip Stappers, ein Kollege von Knuth, gab das Problem wortwörtlich an Claude weiter. Keine spezielle Aufbereitung, kein Fine-Tuning, kein mathematisches Spezialsystem. Einfach das Problem, wie Knuth es formuliert hatte, plus eine Anweisung: «Dokumentiere deinen Fortschritt.»
Was Claude dann tat, war bemerkenswert. Nicht weil es sofort die Lösung fand, sondern weil es sich systematisch durch verschiedene Ansätze arbeitete:
- Schritt 1–2: Brute-Force-Suche. Zu langsam.
- Schritt 3–4: «Serpentine Patterns» entdeckt (was Mathematiker als Gray Codes kennen). Vielversprechend, aber nicht ausreichend.
- Schritt 15: Eigenständig eine «Fiber-Decomposition» eingeführt, eine elegante Umformulierung des Problems.
- Schritt 20–25: Simulated Annealing. Findet Einzellösungen, aber keine allgemeine Konstruktion. Claudes eigene Einschätzung: «SA can find solutions but cannot give a general construction. Need pure math.»
- Schritt 27: Fast am Ziel. Nur noch 3(m−1) von m³ Knoten haben Konflikte.
- Schritt 30: Wendet sich zurück zu einer früheren numerischen Lösung und erkennt ein Muster.
- Schritt 31: Die Lösung. Ein Programm, das für alle ungeraden m funktioniert.
Stappers testete das Ergebnis für alle ungeraden m zwischen 3 und 101. Perfekte Zerlegung, jedes Mal.
Warum das so aussergewöhnlich ist
Erstens: Wer hier beeindruckt ist, zählt. Donald Knuth ist nicht irgendwer. Er hat die TeX-Textsatzsprache erfunden, den Knuth-Morris-Pratt-Algorithmus entwickelt und sein Lebenswerk The Art of Computer Programming wird oft als wichtigstes Buch der Informatik bezeichnet. Bill Gates sagte einmal: «Wenn du das ganze Buch gelesen hast, schick mir deinen Lebenslauf.» Wenn Knuth «Shock!» schreibt, hat das Gewicht.
Zweitens: Claude ist kein Spezialsystem. Googles AlphaProof gewann 2024 eine Silbermedaille bei der Internationalen Mathematik-Olympiade. Gemini Deep Think holte 2026 Gold. Aber das sind dedizierte Systeme, gebaut für mathematische Beweise. Claude Opus 4.6 ist ein allgemeines Sprachmodell. Dasselbe Modell, das E-Mails formuliert und Code debuggt, hat hier ein offenes Forschungsproblem gelöst.
Drittens: Die Art, wie Claude vorging, war kreativ. Es hat nicht einfach gerechnet. Es hat Strategien gewechselt, Sackgassen erkannt, sich selbst korrigiert und schliesslich in einer alten numerischen Lösung ein Muster entdeckt, das zum Durchbruch führte. Auf Hacker News kommentierte jemand treffend: «Finding that algorithm was the interesting part. Getting from that to a proof was the boring bit.»
Die Lösung — erstaunlich elegant
Was Claude fand, lässt sich in wenigen Zeilen C-Code ausdrücken. Für jeden der m³ Knoten entscheidet eine einfache Regel, welche Koordinate erhöht wird. Knuth bewies anschliessend rigoros, dass diese Konstruktion für alle ungeraden m funktioniert.
Noch faszinierender: Es gibt genau 760 gültige «Claude-like» Zerlegungen für alle ungeraden m. Claude fand eine davon. Ein anonymer Forscher namens «Exocija» fand später eine noch einfachere, indem er Text zwischen GPT und Claude hin- und herschickte.
Und die geraden Zahlen?
Hier wird die Geschichte noch wilder. Das Problem für gerade m blieb zunächst offen. Dann schaltete sich Ho Boon Suan aus Singapur ein und liess GPT-5.4 Codex eine Lösung für gerade m ≥ 8 generieren. Anschliessend beauftragte er GPT-5.4 Pro mit dem Beweis. Das Ergebnis: ein fehlerfreies 14-seitiges Paper, vollständig maschinengeneriert.
Keston Aquino-Michaels brachte schliesslich alles zusammen, indem er GPT und Claude als komplementäre Agenten zusammenarbeiten liess. Seine Analyse der Multi-Agenten-Kollaboration könnte wegweisend dafür sein, wie komplexe Probleme in Zukunft angegangen werden.
Und als ob das nicht genug wäre: Kim Morrison aus der Lean-Community formalisierte Knuths Beweis am selben Tag in der Beweissprache Lean. Maschinell verifiziert, keine menschlichen Fehler möglich.
Was das für die Zukunft bedeutet
2026 markiert einen Wendepunkt. KI löst nicht mehr nur Textaufgaben oder Programmierchallenges. Sie arbeitet an der Grenze menschlichen Wissens mit:
- AlphaProof gewinnt Mathematik-Olympiaden
- Axiom AxiProver knackt offene Vermutungen in der algebraischen Geometrie
- Claude löst ein Problem aus Knuths Lebenswerk
- GPT und Claude zusammen beweisen Resultate, die keines der Modelle allein geschafft hätte
Knuth schliesst sein Paper mit den Worten: «We are living in very interesting times indeed.»
Dem ist nichts hinzuzufügen.
Das vollständige Paper «Claude’s Cycles» ist auf Knuths Stanford-Seite verfügbar.
Dieser Artikel behandelt ein Thema, das zeigt, wohin sich KI entwickelt. Wenn Sie wissen möchten, wie KI heute schon konkret in Ihrem Unternehmen eingesetzt werden kann, buchen Sie einen kostenlosen KI Espresso oder erfahren Sie mehr über unsere Leistungen.