Ein KI-Modell von OpenAI hat eine seit 1946 bestehende mathematische Vermutung von Paul Erdős zum sogenannten Einheitsabstands-Problem widerlegt. Die Lösung wurde laut Berichten am 20. Mai 2026 bekannt. Das Modell identifizierte eine unendliche Familie von Beispielen, die die bisherige Annahme über optimale Punktanordnungen in der Ebene mathematisch entkräftet.
Die Widerlegung der Erdős-Vermutung
Ein neues KI-Modell von OpenAI hat eine jahrzehntealte mathematische Fragestellung gelöst, indem es eine weithin akzeptierte Vermutung widerlegte. Im Zentrum dieser Entwicklung steht ein Problem, das bereits im Jahr 1946 von dem Mathematiker Paul Erdős formuliert wurde. Das Modell konnte aufzeigen, dass die bisherigen Annahmen der Fachwelt über die Anordnung von Punkten in einer Ebene nicht korrekt waren.
Die Lösung ist deshalb bemerkenswert, weil sie nicht durch eine schrittweise Verfeinerung bestehender geometrischer Ansätze zustande kam, sondern durch einen methodischen Bruch mit der bisherigen Intuition der Experten.
Das Einheitsabstands-Problem seit 1946
Die mathematische Herausforderung befasst sich mit einer spezifischen Frage der Geometrie: Wie viele Punktpaare in einer Ebene können exakt den Abstand eins haben? Über einen langen Zeitraum dominierten in der Fachwelt die Annahmen, dass quadratische Gitternetze die optimale Anordnung bieten, um die maximale Anzahl solcher Paare zu generieren.
Das KI-Modell bewies jedoch das Gegenteil dieser Expertenmeinung. Es fand eine unendliche Familie von Beispielen, welche die Annahme, dass Gitterstrukturen das mathematische Maximum darstellen, widerlegen. Damit wird eine jahrzehntelang akzeptierte Sichtweise auf die Struktur von Punktkonfigurationen in der Ebene korrigiert.
Algebraische Zahlentheorie als Lösungsweg
Die methodische Herangehensweise des Modells unterscheidet sich grundlegend von klassischen geometrischen Beweisen. Für die Lösung nutzte die KI komplexe Verfahren, die als unendliche Klassenkörpertürme bezeichnet werden. Diese Methoden sind primär in der algebraischen Zahlentheorie verortet und waren bislang nicht das primäre Werkzeug zur Lösung des Einheitsabstands-Problems.
Diese Vorgehensweise löste bei Mathematikern Überraschung aus, da sie eine tiefe Verknüpfung zwischen zwei Fachgebieten aufzeigt, die bislang als getrennt galten. Der Transfer von Konzepten der Zahlentheorie auf ein Problem der ebenen Geometrie markiert einen signifikanten analytischen Schritt.
Externe Prüfung und wissenschaftliche Validierung
Um die Richtigkeit der KI-generierten Lösung sicherzustellen, wurde der Beweis einer externen Prüfung unterzogen. Experten bestätigten die Ergebnisse bereits in einer begleitenden wissenschaftlichen Arbeit. Damit ist die Widerlegung der Vermutung nicht nur ein Ergebnis eines internen KI-Prozesses, sondern durch eine wissenschaftliche Prüfung validiert. Die Bestätigung durch externe Fachleute unterstreicht die Belastbarkeit des Beweises und dessen Bedeutung für die mathematische Forschung.
