OpenAI: KI-Modell widerlegt 80 Jahre alte Vermutung in diskreter Geometrie

Am 20. Mai 2026 gab OpenAI bekannt, dass sein KI-Modell das Einheitsabstands-Problem gelöst hat — eine offene Frage im Herz der diskreten Geometrie, seit Paul Erdős sie 1946 formulierte. Das Unternehmen bezeichnet das Ergebnis als ersten Fall, in dem ein KI-System eine langjährige zentrale Vermutung durch eine originelle Konstruktion widerlegt hat, anstatt lediglich eine von menschlichen Mathematikern aufgestellte These zu bestätigen.

Was ist das Einheitsabstands-Problem, und warum ist es 80 Jahre offen geblieben?

Die Frage lautet: Wenn wir N Punkte in der Ebene haben, wie viele Punktpaare können genau den Einheitsabstand voneinander haben? Erdős bewies 1946 eine untere Schranke, doch die genaue obere Schranke ist seit Jahrzehnten Gegenstand der Forschung. Die bekanntesten Hypothesen behaupteten ein bestimmtes Wachstumsverhalten der Funktion von N — genau diese Hypothesen widerlegt OpenAIs Modell angeblich durch die Konstruktion einer Punktmenge, die die angenommene obere Schranke überschreitet.

Wie unterscheidet sich dieses Ergebnis von bisherigen KI-Mathematikbeweisen?

Bisherige KI-Beiträge zur Mathematik beschränkten sich meist auf die Überprüfung bestehender Beweise (Lean, Coq, Isabelle-Formalisierungen) oder das Finden neuer Beweise für bereits formulierte Sätze (DeepMind AlphaProof, FunSearch). OpenAIs Ergebnis ist anders, weil das Modell eine Hypothese konstruktiv widerlegt hat — was geometrische Kreativität erfordert: die Suche nach einem Gegenbeispiel, das nicht den intuitiven Symmetriekonstruktionen entspricht, die Mathematiker jahrzehntelang ausprobiert hatten.

Wie steht es um die Peer-Review?

OpenAI machte die Ankündigung über seinen Newsroom und RSS-Feed; der vollständige Artikeltext gab zum Zeitpunkt der Veröffentlichung HTTP 403 zurück, und Details waren nur über die RSS-Beschreibung zugänglich. Das Unternehmen ruft die Mathematikgemeinschaft zur unabhängigen Überprüfung auf. Eine formale Begutachtung in Zeitschriften wie Discrete & Computational Geometry oder Journal of Combinatorial Theory wurde mit dieser Ankündigung nicht bekanntgegeben.

Was bedeutet das für das Fachgebiet?

Falls die Konstruktion die Peer-Review besteht, ergeben sich zwei unmittelbare Eindrücke. Erstens: KI-Systeme überschreiten die Grenze zur eigenständigen Entdeckung mathematischer Wahrheiten, anstatt nur zugewiesene Beweise auszuführen. Zweitens: Die Entdeckungsschicht kommerzieller KI-Systeme könnte zur Quelle neuer mathematischer Ergebnisse werden, was Fragen zur Zitierung, Zuschreibung und Urheberschaft aufwirft. Diskrete Geometrie, Kombinatorik und Zahlentheorie sind die wahrscheinlichsten nächsten Ziele für eine ähnliche Methodik.