Ein mathematisches Problem, 80 Jahre lang offen. Die besten Mathematiker der Welt hatten keine Lösung. Dann kam eine KI — und erledigte es.
Kein Witz. Kein PR-Stunt. Eine KI von OpenAI hat am 20. Mai 2026 eine Vermutung des ungarischen Mathematikers Paul Erdős widerlegt, die seit 1946 ungelöst war. Der Beweis wurde von externen Mathematikern geprüft und bestätigt.
Was ist das Erdős-Problem?
Paul Erdős war einer der produktivsten Mathematiker des 20. Jahrhunderts — bekannt dafür, Hunderte kniffliger Probleme aufzustellen, die er dann anderen zum Lösen überließ. Sein sogenanntes Unit-Distance-Problem klingt simpel:
Stell dir n Punkte auf einem Blatt Papier vor. Wie viele Paare dieser Punkte können genau denselben Abstand voneinander haben?
Erdős vermutete: Ein Quadratgitter — also Punkte auf Millimeterpapier — ist dafür nahezu optimal. Kein anderes Arrangement schafft deutlich mehr gleich-weite Paare.
Klingt nach einem netten Rätsel. War 80 Jahre lang ungelöst.
Was hat die KI gemacht?
OpenAIs Reasoning-Modell hat Erdős' Vermutung widerlegt. Es hat ein Arrangement gefunden, das besser abschneidet als das Quadratgitter — die Vermutung war also falsch.
Bemerkenswert ist nicht nur das Ergebnis, sondern der Weg dorthin. Das Modell hat keine einfache Brute-Force-Suche gemacht. Es hat tiefe algebraische Zahlentheorie angewendet — ein Bereich, den selbst viele Profimathematiker nur in Grundzügen kennen. Der Beweis wurde anschließend von Princeton-Mathematiker Will Sawin unabhängig überprüft und für korrekt befunden.
Das Modell hat nicht geholfen. Es hat gelöst.
Warum zählt das?
Weil es das erste Mal ist, dass eine KI eigenständig ein bedeutendes offenes Mathe-Problem gelöst hat.
KI und Mathematik — das gab es schon öfter. Aber bisher immer so: Mensch hat Idee, KI überprüft sie, strukturiert sie, hilft beim Formulieren. Hier war es anders. Das Modell fand selbst einen Ansatz, den Mathematiker 80 Jahre lang übersehen hatten.
Das ist kein Assistenz-Sieg. Das ist ein Entdeckungs-Sieg.
Die ehrliche Einschätzung
Jetzt der nüchterne Teil — KI-Jubelmeldungen brauchen immer einen Gegencheck.
Das Erdős-Problem hat eine Eigenschaft, die KI besonders liegt: Es ist präzise formuliert, hat klare Regeln, und richtig oder falsch lässt sich maschinell prüfen. Genau das ist der Typ Problem, bei dem KI stark ist.
Viele offene Mathe-Probleme sehen so aus? Nein. Die berühmtesten — die sieben Millennium-Probleme des Clay-Instituts, je mit einer Million Dollar Preisgeld — sind deutlich weniger strukturiert. Ob KI dort helfen kann, ist völlig offen.
Was die KI hier nicht gemacht hat: entscheiden, welche Probleme wichtig sind. Erklären, warum das Ergebnis bedeutsam ist. Einordnen, was als Nächstes gesucht werden sollte. Das bleibt Menschenarbeit.
Kurz: Die KI hat einen 80-jährigen Sprint gewonnen. Den Marathon — Intuition, Bedeutung, Kontext — laufen wir noch selbst.
Was bedeutet das für den Rest von uns?
Direkt: erst mal wenig. Das ist Grundlagenforschung, kein Produkt.
Indirekt: viel. Wenn KI anfängt, eigenständig in der Wissenschaft zu entdecken — nicht nur zu assistieren —, verändert das, wie Forschung funktioniert. Schneller, breiter, in Bereichen wo menschliche Intuition an Grenzen stößt.
OpenAI hat angekündigt, das Modell gezielt auf weitere offene Probleme anzusetzen. Die Mathe-Community reagiert gespannt und skeptisch zugleich — eine gesunde Mischung.
Eines ist seit dem 20. Mai 2026 definitiv falsch: "KI kann nur Texte generieren."
Was du jetzt mitnehmen kannst
- Das war kein Trick: Der Beweis wurde unabhängig verifiziert. Das zählt.
- KI ist am stärksten bei klar definierten Problemen mit prüfbaren Antworten.
- Das Grundlagenforschungs-Potenzial ist real — auch wenn du davon im Alltag noch nichts merkst.
- Der Hype-Check bleibt nötig: Viele KI-Durchbrüche klingen größer als sie sind. Dieser hier ist groß.