Erdős selbst konstruierte eine Punktmenge, die ungefähr wie ein √n × √n‑Gitter angeordnet ist. Diese liefert etwa
n^(1 + Ω(1 / log log n))
Einheitsabstände.
Er vermutete, dass diese Größenordnung im Wesentlichen optimal sei. Anders gesagt: ν(n) sollte nur minimal schneller als linear wachsen und keine feste Potenzverbesserung wie n^(1+δ) besitzen.
Ein wichtiges Resultat von Spencer, Szemerédi und Trotter (1984) zeigte zudem eine obere Schranke:
ν(n) = O(n^(4/3)).
Damit blieb jahrzehntelang eine große Lücke zwischen der besten bekannten unteren und oberen Schranke – ein klassisches offenes Problem der diskreten Geometrie.
Die vom OpenAI‑Modell entwickelte Konstruktion zeigt, dass für ein festes δ > 0 gilt:
ν(n) ≥ n^(1+δ)
für unendlich viele Werte von n.
Das widerspricht direkt Erdős’ Vermutung. Diese erlaubte lediglich ein Wachstum der Form
n^(1 + o(1)).
Ein fester positiver Exponent δ bedeutet jedoch, dass die Zahl der Einheitsabstände polynomiell schneller wächst als n.
Frühere Konstruktionen basierten hauptsächlich auf geometrischen Mustern wie quadratischen Gittern.
Die neue Methode geht einen völlig anderen Weg und verwendet algebraische Zahlentheorie.
Zu den wichtigsten Bausteinen gehören:
Diese Strukturen erzeugen hochdimensionale Gitter mit vielen Elementen der Norm 1. Werden diese Strukturen in die Ebene abgebildet, entsprechen diese Norm‑1‑Beziehungen einer großen Anzahl von Kanten der Länge 1 zwischen Punkten.
Der Vorteil: Zahlentheoretische Konstruktionen können viel reichere Muster von Distanzbeziehungen erzeugen als einfache geometrische Gitter.
Nach der Entdeckung erstellten mehrere bekannte Mathematiker eine kompakte, von Menschen überprüfte Darstellung des Arguments.
Zu den beteiligten Forschern gehören unter anderem:
In ihrer Zusammenfassung erläutern sie die mathematischen Ideen hinter der Konstruktion und ordnen sie in bestehende Arbeiten zur Zahlentheorie ein, etwa zu Resultaten über Golod–Shafarevich‑Türme und verwandte Methoden.
Der Durchbruch sorgt für besondere Aufmerksamkeit, weil er als mögliches Beispiel gilt, bei dem ein KI‑System eine neue Lösung für ein bedeutendes offenes mathematisches Problem gefunden hat.
Frühere Experimente mit KI in der Mathematik führten gelegentlich zu Lösungen, die sich später als bereits bekannte Resultate herausstellten. In diesem Fall wird die Konstruktion jedoch als neues Gegenbeispiel zu einer seit 1946 bestehenden Vermutung präsentiert.
Sollte der Beweis langfristig Bestand haben, wäre das ein bemerkenswerter Moment für die mathematische Forschung: ein Beispiel dafür, dass automatisierte Reasoning‑Systeme gemeinsam mit menschlicher Prüfung neue Wege durch komplexe mathematische Problemräume eröffnen können.
Wie bei großen mathematischen Resultaten üblich, wird der Beweis in den kommenden Jahren intensiv geprüft. Forschende werden versuchen:
Unabhängig vom endgültigen Urteil zeigt die Arbeit bereits jetzt, wie sich mathematische Entdeckungen verändern: durch die Kombination aus KI‑gestützter Ideensuche und klassischer menschlicher Verifikation.