Fable 5 widerlegt Jacobian-Vermutung, sagt Forscher

Der Anthropic-Forscher Levent Alpöge gab bekannt, dass Claude Fable 5 die Jacobian-Vermutung widerlegt hat, ein 87 Jahre altes Problem der algebraischen Geometrie, das seit Ott-Heinrich Kellers Fragestellung im Jahr 1939 jeder Lösung widerstanden hatte. Das Ergebnis — innerhalb von Stunden im Lean-Beweisassistenten verifiziert, so der Mathematiker Kevin Buzzard vom Imperial College gegenüber Fortune — markiert das zweite Mal in zwei Wochen, dass Frontier-KI Ergebnisse zu Problemen lieferte, die über Generationen offene Fragen definierten, berichtet Fortune.

Was passiert ist

Am 20. Juli gab der Anthropic-Forscher Levent Alpöge auf X bekannt, dass er Claude Fable 5 genutzt hatte, um ein Gegenbeispiel zur Jacobian-Vermutung zu finden (Alpöge, 2026). Der Beitrag erzielte über 30 Millionen Aufrufe. Am nächsten Morgen war der Beweis in Lean verifiziert.

Die Vermutung betrifft das, was Mathematiker Polynomabbildungen nennen — konkret, ob eine Abbildung, deren Jacobian-Determinante eine von Null verschiedene Konstante ist, eindeutig umkehrbar sein muss. Alpöges Gegenbeispiel erzeugte drei verschiedene Eingaben, die auf dieselbe Ausgabe abbilden, während die Jacobian-Determinante konstant bei −2 blieb — und widerlegte damit die zentrale Behauptung der Vermutung.

„Das ist ein großer Tag", sagte der Mathematiker Kevin Buzzard vom Imperial College gegenüber Fortune.

Zwei Wochen zuvor hatte OpenAI einen Beweis der Cycle-Double-Cover-Vermutung — ein weiteres lange offenes Problem, dieses in der Graphentheorie — GPT-5.6 Sol zugeschrieben (AI Weekly, 2026), obwohl die Behauptung nicht unabhängig begutachtet wurde. Die Geschwindigkeit ist die Geschichte: Frontier-KI liefert jetzt Ergebnisse zu Problemen, die jahrzehntelang jeder Lösung widerstanden.

Warum es wichtig ist

Das ist keine rohe Gewalt. OpenAI nutzte Berichten zufolge massive Parallelität — 64 Subagenten. Anthropic nutzte einen einzelnen Forscher in einer fokussierten Sitzung mit Fable 5. Die Vielfalt der Ansätze deutet darauf hin, dass Frontier-KI paradigmenübergreifend breit einsetzbar ist.

Die Kluft zwischen Verifikation und Verständnis ist real. Der Mathematiker Akhil Mathew von der University of Chicago brachte die Spannung auf den Punkt: „Man kann prüfen, dass es korrekt ist, aber es wäre schön, eine Geschichte erzählen zu können." Die KI produziert den Beweis, kann aber nicht erklären, wie sie dorthin gelangte.

Weder OpenAI noch Anthropic haben diese Modelle für Mathematik gebaut. Fable 5 und GPT-5.6 Sol wurden als universelle Frontier-Modelle trainiert. Dass sie nebenbei jahrzehntealte Vermutungen knacken, ist das eigentliche Signal.

Was sich für Sie ändert

Dies ist ein Fähigkeitssignal, keine Produktänderung. Fable 5s Verzeichnis-Urteil bleibt Conditional.

Wenn Sie in der mathematischen Forschung arbeiten:

• Erkunden Sie Frontier-Modelle für Beweisfindung. Alpöges Ergebnis zeigt, dass ein einzelner Forscher fachdefinierende Probleme angehen kann.
• Lean-Verifikation verändert das Vertrauensmodell. KI-generierte, maschinengeprüfte Beweise beseitigen monatelange Peer-Review-Engpässe.
• Erwarten Sie nicht, dass KI mathematische Intuition ersetzt. Zu wissen, was man fragen muss, bleibt eine menschliche Fähigkeit.

FAQ

Was ist die Jacobian-Vermutung? Ein Problem der algebraischen Geometrie, das 1939 von Ott-Heinrich Keller formuliert wurde. Alpöge fand ein Gegenbeispiel, das die Vermutung widerlegt.

Wurde dies vollständig von KI gelöst? Nein. Alpöge führte Fable 5 durch das Problem. Die KI war ein Werkzeug, kein autonomer Mathematiker.

Ist dies das erste Mal, dass KI ein großes Mathematikproblem gelöst hat? Nein. Frontier-KI produziert seit Monaten publizierbare Mathematik. Die Jacobian-Vermutung ist das bislang prominenteste Ergebnis.