KI revolutioniert die reine Mathematik: Zwei Durchbrüche im Jahr 2026 beweisen, dass Maschinen jetzt neue Mathematik entdecken können

Im Jahr 2026 überschritt die Künstliche Intelligenz eine historische Schwelle in der reinen Mathematik. Zum ersten Mal erzielten KI-Systeme eigenständig bedeutende Ergebnisse zu offenen Problemen, die menschlichen Mathematikern jahrzehntelang getrotzt hatten. Zwei Durchbrüche stechen besonders hervor: die Widerlegung der Erdős-Einheitsabstandsvermutung durch OpenAI im Mai und das Gegenbeispiel von Anthropic zur Jacobi-Vermutung im Juli. Dies sind keine inkrementellen Schritte – es sind Paradigmenwechsel, die eine neue Ära der Mensch-KI-Zusammenarbeit in der mathematischen Forschung einläuten.

Die zwei Durchbrüche

OpenAI widerlegt die Erdős-Einheitsabstandsvermutung (Mai 2026)

Am 20. Mai 2026 gab OpenAI bekannt, dass eines seiner internen General-Purpose-Reasoning-Modelle ein Gegenbeispiel zur Erdős-Einheitsabstandsvermutung gefunden hatte – einem Problem, das Paul Erdős 1946 aufstellte . Die Vermutung betraf die maximale Anzahl von Punktpaaren, die bei n Punkten in der Ebene genau eine Einheit voneinander entfernt sein können. 80 Jahre lang glaubten Mathematiker, dass die optimale Konfiguration ungefähr wie ein quadratisches Gitter aussehen würde .

Das OpenAI-Modell zeigte, dass diese Annahme falsch war. Es generierte eine unendliche Familie von Punktkonstruktionen, die eine polynomielle Verbesserung gegenüber dem Gitter erzielen – was beweist, dass für unendlich viele n die Anzahl der Einheitsabstandspaare schneller als n^(1+δ) für ein festes δ > 0 wächst . Der Beweis stützte sich auf tiefgreifende algebraische Zahlentheorie, einschließlich der Golod-Schafarewitsch-Theorie und unendlicher Klassenkörpertürme – Werkzeuge, die zuvor niemand mit diesem geometrischen Problem in Verbindung gebracht hatte .

Das Ergebnis wurde von einer Gruppe externer Mathematiker verifiziert, darunter Thomas Bloom – derselbe Forscher, der zuvor eine falsche Behauptung von OpenAI öffentlich widerlegt hatte . Ein von Menschen aufbereiteter Begleitartikel wurde auf arXiv veröffentlicht . Der Princeton-Mathematiker Will Sawin verfeinerte die Konstante schnell und zeigte, dass der Exponent mindestens n^1.014 betragen kann . Der Fields-Medaillengewinner Tim Gowers war einer der neun externen Mathematiker, die den Beweis überprüften .

Anthropics Claude Fable 5 findet ein Gegenbeispiel zur Jacobi-Vermutung (Juli 2026)

Am 19. Juli 2026 gab der Mathematiker Levent Alpöge, ein Forscher bei Anthropic, auf X bekannt, dass er mit Hilfe von Anthropics Claude Fable 5-Modell ein Gegenbeispiel zur Jacobi-Vermutung gefunden hatte – einem 87 Jahre alten offenen Problem der algebraischen Geometrie, das erstmals 1939 von Ott-Heinrich Keller aufgestellt wurde . Die Vermutung, die auf Platz 16 von Fields-Medaillengewinner Stephen Smales Liste der Probleme für das nächste Jahrhundert aus dem Jahr 1998 rangierte, besagte, dass eine polynomiale Abbildung von C^n nach C^n mit einer konstanten, von Null verschiedenen Jacobi-Determinante global umkehrbar sein muss .

Das Gegenbeispiel ist eine bemerkenswert prägnante 216-Zeichen-polynomiale Abbildung von C³ nach C³ mit einer Jacobi-Determinante, die identisch gleich -2 ist, die aber drei verschiedene Eingabetripel auf dieselbe Ausgabe abbildet und damit die globale Umkehrbarkeit widerlegt . Innerhalb weniger Stunden nach Alpöges Beitrag überprüften Mathematiker weltweit das Ergebnis unabhängig voneinander, und eine formale Verifizierung im Lean-Beweisassistenten war in weniger als 24 Stunden abgeschlossen .

Prominente Mathematiker wie Terence Tao und Timothy Gowers lobten das Ergebnis . Tao veröffentlichte eine geometrische Analyse des Gegenbeispiels, und die Verifizierung wurde in der mathematischen Gemeinschaft weithin bestätigt . Die zweidimensionale Version der Vermutung bleibt offen .

Was diese Ergebnisse für die Zukunft der Mathematik bedeuten

KI kann jetzt wirklich neuartige Beweise generieren

Beide Durchbrüche beinhalten tiefgreifende konzeptionelle Sprünge, nicht nur rechnerische Unterstützung. Die Widerlegung der Einheitsabstandsvermutung erforderte, dass die KI algebraische Zahlentheorie mit kombinatorischer Geometrie verband – eine Verbindung, die kein menschlicher Mathematiker hergestellt hatte . Das Jacobi-Gegenbeispiel erforderte die Konstruktion einer subtilen polynomialen Abbildung mit spezifischen algebraischen Eigenschaften .

Das Mensch-KI-Partnerschaftsmodell erweist sich als leistungsstark

Diese Ergebnisse deuten auf eine Zukunft hin, in der KI eher als kreativer Mitarbeiter denn als Ersatz agiert. Im Fall der Jacobi-Vermutung dirigierte ein erfahrener Mathematiker die KI und erkannte die Bedeutung ihrer Ausgabe . Im Fall von OpenAI arbeitete das Modell autonomer, benötigte aber dennoch die menschliche Verifizierung . Dieses Partnerschaftsmodell ermöglicht es der KI, enorme Suchräume zu erkunden, die Menschen nicht effizient durchqueren können, während Menschen Intuition, Urteilsvermögen und Verifizierung beisteuern.

Das Tempo beschleunigt sich rasant

OpenAI gab im August 2026 bekannt, dass dieselbe Klasse interner Reasoning-Modelle Fortschritte bei 10 großen Problemen der Mathematik und theoretischen Informatik erzielt hatte, die Gebiete wie hochdimensionale Geometrie, Codierungstheorie, Gruppentheorie, Operatorenalgebren, Quantenkomplexität, Gitterkryptographie und extremale Kombinatorik abdecken . Beobachter haben ein „neues goldenes Zeitalter" der Mathematik beschrieben, das von der KI angetrieben wird .

Wichtige Einschränkungen bleiben bestehen

Das Jacobi-Gegenbeispiel gilt nur in Dimension 3 und höher – die ursprüngliche Vermutung bleibt in Dimension 2 offen . Einige Ergebnisse haben noch nicht die vollständige Peer-Review durch die traditionellen Kanäle durchlaufen, und nicht alle Behauptungen sind vollständig veröffentlicht . Aber die allgemeine Richtung ist klar: KI hat die Schwelle vom mathematischen Assistenten zum mathematischen Entdecker überschritten, und ihre Rolle in der Forschung wird sich wahrscheinlich schnell ausweiten.

Das große Ganze

Diese Durchbrüche im Jahr 2026 folgen auf eine rasante Entwicklung der mathematischen Fähigkeiten der KI. Im Juli 2025 lösten KI-Modelle erstmals fünf von sechs Aufgaben der Internationalen Mathematik-Olympiade . Anfang 2026 erreichten Modelle Goldmedaillen-Niveau bei der IMO . Jetzt produziert KI Ergebnisse an der Forschungsfront – und löst Probleme, die ganze Karrieren definierten.

Wie der Mathematiker Terence Tao anmerkte, stellt das Jacobi-Ergebnis einen Meilenstein in der Mensch-KI-Zusammenarbeit dar . Das Modell arbeitete nicht allein, aber die Partnerschaft erzielte ein Ergebnis, das weder Mensch noch Maschine unabhängig voneinander hätten erreichen können. Dieses Modell – menschliche Intuition, geleitet von KI-Erkundung, verifiziert durch formale Beweisassistenten – könnte die Zukunft der mathematischen Entdeckung definieren.