OpenAI widerlegt Erdős-Vermutung nach 80 Jahren

Achtzig Jahre haben Mathematiker die Erdős-Einheitsdistanz-Vermutung als schwere, aber vermutlich richtige Behauptung über Punkte und Abstände behandelt. Am 20. Mai 2026 veröffentlichte OpenAI einen Beweis, der sie widerlegt. Erstellt hat ihn kein Mensch, sondern ein allgemeines Sprachmodell. Die Lösung wurde von externen Mathematikern unabhängig geprüft und vorläufig bestätigt.

Was die Vermutung fragt

Das Problem klingt zunächst einfach: Wenn man n Punkte beliebig auf einer Ebene verteilt, wie viele Paare dieser Punkte können genau eine Einheit voneinander entfernt sein? Paul Erdős vermutete 1946, dass diese Anzahl höchstens knapp mehr als linear wächst, formal ausgedrückt als C_ε · n^(1+ε) für beliebig kleines ε. Ein Quadratgitter erfüllt das: Je mehr Punkte, desto mehr nächste Nachbarn, aber die Zahl der Einheitsdistanz-Paare wächst eben nur geringfügig schneller als n selbst.

Generationen von Mathematikern haben weder einen Beweis noch ein Gegenbeispiel gefunden. Noga Alon, einer der führenden Kombinatoriker weltweit, sagte nach der Veröffentlichung: "Jeder Mathematiker, der in kombinatorischer Geometrie arbeitet, hat über dieses Problem nachgedacht." Es gehört zu jenen Problemen, die einfach formuliert sind und gerade deshalb so hartnäckig resistent gegen Lösungen bleiben.

Wie das Modell die Lösung fand

OpenAI setzte ein allgemeines Sprachmodell ein, kein auf Mathematik spezialisiertes System. Der Durchbruch liegt in einem konzeptuellen Sprung: Statt wie bisherige Ansätze auf quadratischen Gittern aufzubauen, verknüpfte das Modell das Geometrieproblem mit der algebraischen Zahlentheorie. Konkret nutzte es die Theorie unendlicher Klassenkörpertürme, ein Werkzeug aus einem Gebiet, das mit diskreter Geometrie zunächst nichts zu tun hat. Das Ergebnis ist eine unendliche Familie von Punktkonfigurationen, die Erdős' vorhergesagte Schranke polynomial übertrifft. Die Vermutung ist damit nicht nur unbewiesen, sondern widerlegt.

Arul Shankar, Zahlentheoretiker an der University of Toronto, beschrieb die Bedeutung: "Aktuelle KI-Modelle gehen über die Rolle von Hilfsmitteln für Mathematiker hinaus. Sie sind in der Lage, eigenständige originelle Ideen zu entwickeln und sie bis zum Abschluss durchzuführen." Fields-Medaillengewinner Tim Gowers nannte das Ergebnis "einen Meilenstein in der KI-Mathematik".

Bemerkenswert ist auch der Kontext: OpenAI hatte zuletzt eine fehlerhafte Behauptung über eine Lösung eines anderen Erdős-Problems zurückgezogen. Thomas Bloom, der Mathematiker, der diesen Irrtum damals öffentlich aufdeckte, unterstützt die aktuelle Veröffentlichung ausdrücklich. Das verleiht der Verifikation besonderes Gewicht.

Was KI in der Mathematik schon konnte und was neu ist

OpenAIs Ergebnis reiht sich in eine Serie von KI-Erfolgen in der Mathematik ein, hebt sich aber qualitativ ab. DeepMinds AlphaProof löste 2024 vier von sechs Aufgaben der Internationalen Mathematikolympiade und erreichte damit Silbermedaillen-Standard, was erstmals einer KI gelang. Googles FunSearch fand neue Lösungen für das Cap-Set-Problem in der additiven Kombinatorik. Beide Systeme arbeiteten in eng definierten Bereichen oder an Olympiadeaufgaben mit klaren Verifikationsmechanismen.

Die Erdős-Einheitsdistanz-Vermutung ist etwas anderes: ein prominentes offenes Forschungsproblem, an dem aktive Arbeitsgruppen gearbeitet haben. Das OpenAI-Modell ist zudem kein spezialisiertes Beweissystem, sondern das gleiche allgemeine Modell, das auch E-Mails formuliert und Code schreibt. Dass es die konzeptuelle Brücke zwischen Geometrie und Zahlentheorie eigenständig gebaut hat, unterscheidet diesen Fall von früheren KI-Mathematikerfolgen.

Das KI-Rennen im Mai 2026

Der mathematische Durchbruch fällt in eine Phase intensiver Modellentwicklung. Anthropic veröffentlichte am 16. April Claude Opus 4.7 mit deutlich gesteigerter Programmierleistung: 87,6 Prozent auf SWE-bench Verified und 94,2 Prozent auf dem GPQA-Diamond-Benchmark für anspruchsvolles Schlussfolgern. OpenAI setzt GPT-5.5 Instant seit dem 5. Mai als Standardmodell ein; es reduziert Halluzinierungen bei rechtlichen, medizinischen und finanziellen Fragen um 52,5 Prozent gegenüber dem Vorgänger. Anthropic räumt selbst ein, dass Opus 4.7 einem noch nicht veröffentlichten internen Modell namens Mythos nachsteht, das nur ausgewählten Technologie- und Sicherheitsunternehmen zugänglich ist.

Im Unternehmenseinsatz zeigt sich eine überraschende Verschiebung: Anthropic vervierfachte seine Geschäftskundenbasis im vergangenen Jahr. OpenAI verzeichnete nach Daten des Finanzdienstleisters Ramp nur 0,3 Prozent Wachstum, begleitet von Berichten über Ausfälle und Ratenlimits. Seit dem 7. Mai ist Claude auch in Microsoft Office integriert: Excel, Word und PowerPoint sind allgemein verfügbar, Outlook in der öffentlichen Beta. Das besondere Merkmal ist der kontext-übergreifende Zugang: Eine Analyse in Excel steht direkt in PowerPoint und Word zur Verfügung, ohne dass der Nutzer Informationen wiederholen muss.

Peer-Review läuft, das Modell bleibt geheim

Der mathematische Beweis durchläuft in den kommenden Wochen den Peer-Review-Prozess. Die externe Verifikation ist ein erster Schritt, kein Abschluss. Entscheidend wird sein, ob die algebraische Konstruktion unabhängig reproduziert werden kann.

OpenAI hat nicht offengelegt, welches konkrete Modell den Durchbruch erzielte oder wie viel Rechenzeit dafür benötigt wurde. Das ist kein Versehen, sondern strategische Intransparenz: Wer die Schnittstelle zwischen KI und formaler Wissenschaft kontrolliert, könnte als nächstes die Klimamodellierung, die Wirkstoffentwicklung oder die Materialforschung angreifen. Shankars Einschätzung, KI sei zu eigenständigen originellen Ideen fähig, beschreibt eine Verschiebung, die weit über Olympiadeaufgaben hinausgeht.