OpenAI behauptet: KI widerlegt 80 Jahre alte Erdős‑Vermutung

Eine klassische Frage der Geometrie

OpenAI hat bekannt gegeben, dass eines seiner internen KI‑Modelle einen originellen mathematischen Beweis gefunden habe, der eine bekannte Vermutung zur sogenannten Planar‑Unit‑Distance‑Problematik widerlegt – eine Frage, die der ungarische Mathematiker Paul Erdős im Jahr 1946 formulierte.

Die Fragestellung klingt zunächst einfach: Wenn man n Punkte in einer Ebene platziert, wie viele Punktpaare können genau den Abstand 1 voneinander haben?

Trotz ihrer einfachen Formulierung entwickelte sich diese Frage zu einem zentralen Problem der diskreten und kombinatorischen Geometrie. Jahrzehntelang suchten Mathematiker nach Konstruktionen, die möglichst viele solcher Einheitsabstände erzeugen, sowie nach theoretischen Obergrenzen für diese Zahl.

Eine verbreitete Intuition lautete, dass besonders effiziente Punktanordnungen ähnlich wie ein quadratisches Gitter aufgebaut sein müssten – also wie Punkte auf einem regelmäßigen Raster.

Was OpenAI über den KI‑Beweis sagt

Nach Angaben des Unternehmens hat ein allgemeines Reasoning‑Modell einen neuen mathematischen Beweis erzeugt, der eine zentrale Vermutung in diesem Zusammenhang widerlegt.

Zu den wichtigsten Punkten der Darstellung:

• Das Modell soll einen neuen mathematischen Argumentationsweg entwickelt haben statt bekannte Resultate zu reproduzieren.
• Der Ansatz nutzt Methoden aus der algebraischen Zahlentheorie, um Punktkonfigurationen zu konstruieren, die besser funktionieren als klassische Gitter‑Anordnungen.
• Damit wird die lange verbreitete Annahme infrage gestellt, dass optimale Lösungen strukturell wie ein quadratisches Raster aussehen.

Sollte der Beweis korrekt sein, würde er das theoretische Verständnis dieses bekannten Problems der diskreten Geometrie deutlich verändern.

Unterschied zum früheren GPT‑5‑Vorfall

Die aktuelle Ankündigung steht auch im Kontext einer früheren Kontroverse.

Bei einer früheren Aussage zu GPT‑5 hieß es, das Modell habe mehrere Erdős‑Probleme gelöst. Spätere Analysen zeigten jedoch, dass das System lediglich bereits veröffentlichte Lösungen wiederentdeckt hatte – also keine neuen Resultate produziert hatte.

Der aktuelle Fall unterscheidet sich laut Berichten in zwei Punkten:

• Der neue Beweis wird als originale mathematische Arbeit beschrieben.
• Mehrere externe Mathematiker haben den Argumentationsweg bereits geprüft und unterstützende Einschätzungen abgegeben.

Wie in der Mathematik üblich, entscheidet jedoch erst eine gründliche Prüfung durch die Fachgemeinschaft – oft im Rahmen einer peer‑reviewten Veröffentlichung –, ob ein Beweis endgültig akzeptiert wird.

Erste Reaktionen aus der Mathematik

Berichten zufolge haben mehrere bekannte Forscher den Beweis untersucht. Dazu zählen unter anderem Noga Alon, Melanie Wood und Thomas Bloom, die in Kombinatorik und Zahlentheorie arbeiten.

Einige Beobachter beschrieben das Resultat als ungewöhnlich stark für einen KI‑generierten Beweis. In Kommentaren wurde betont, dass frühere KI‑Versuche bei originellen mathematischen Ergebnissen deutlich weniger weit gingen.

Trotzdem bleibt Vorsicht üblich: Große mathematische Resultate werden normalerweise über längere Zeit intensiv geprüft, bevor sie als gesichert gelten.

Warum Forschende das für wichtig halten

Der mögliche Durchbruch betrifft nicht nur dieses einzelne Geometrieproblem.

Viele wissenschaftliche Fragen erfordern lange Ketten logischer Schlussfolgerungen – manchmal Hunderte oder Tausende Schritte. Wenn KI‑Systeme solche komplexen Argumentationsketten zuverlässig erzeugen und überprüfen können, könnten sie künftig auch in anderen Disziplinen stärker zur Entdeckung beitragen, etwa in:

• theoretischer Physik
• Biologie und Medizin
• Ingenieurwissenschaften
• Materialforschung

Einige Forschende sehen darin einen Hinweis darauf, dass KI sich von einem Werkzeug zur Unterstützung von Wissenschaftlern zu einem System entwickeln könnte, das gelegentlich eigene theoretische Einsichten liefert.

Fazit

OpenAI behauptet, ein Reasoning‑Modell habe einen neuen Beweis gefunden, der eine Vermutung zum Erdős‑Problem der Einheitsabstände widerlegt – ein mathematisches Rätsel, das seit 1946 untersucht wird.

Damit würde sich die Situation deutlich von früheren KI‑Fällen unterscheiden, in denen Modelle lediglich bekannte Resultate reproduzierten.

Ob es sich tatsächlich um einen historischen Durchbruch handelt, wird sich jedoch erst nach vollständiger wissenschaftlicher Begutachtung zeigen.