Ein KI‑Modell findet Gegenbeispiel zur berühmten Erdős‑Vermutung über Einheitsabstände
Ein OpenAI‑Reasoning‑Modell konstruierte Punktmengen in der Ebene mit mindestens n^(1+δ) Paaren im Abstand 1 und widerlegte damit eine seit 1946 bestehende Vermutung von Paul Erdős. Die Methode nutzt Werkzeuge der algebraischen Zahlentheorie – darunter CM‑Körper und Golod–Shafarevich‑artige unendliche Klassenkörper‑...
Veröffentlicht vonBearbeitet mit GPT-5.5Bilder erstellt mit GPT Image 2
Ein OpenAI‑Reasoning‑Modell konstruierte Punktmengen in der Ebene mit mindestens n^(1+δ) Paaren im Abstand 1 und widerlegte damit eine seit 1946 bestehende Vermutung von Paul Erdős.
Die Methode nutzt Werkzeuge der algebraischen Zahlentheorie – darunter CM‑Körper und Golod–Shafarevich‑artige unendliche Klassenkörper‑Türme – statt klassischer Gitterkonstruktionen.
Führende Mathematiker veröffentlichten eine überprüfte Zusammenfassung des Beweises und diskutierten seine Ideen und Konsequenzen für die diskrete Geometrie.
How did an OpenAI internal reasoning model reportedly disprove Paul Erdős’s 1946 unit distance conjecture in discrete geometry, what does thThe unit distance problem asks how many pairs of points in the plane can be exactly one unit apart among n points.
KI-Prompt
Create a landscape editorial hero image for this Studio Global article: How did an OpenAI internal reasoning model reportedly disprove Paul Erdős’s 1946 unit distance conjecture in discrete geometry, what does th. Article summary: An OpenAI document reports that an internal reasoning model found a construction of planar point sets with more unit-distance pairs than Erdős’s 1946 conjecture allows, namely ν(n) ≥ n^(1+δ) for infinitely many n and som. Topic tags: general, academic, general web, user generated. Reference image context from search candidates: Reference image 1: visual subject "# Erdős Unit Distance Problem. The Erdős unit distance problem asks to determine the maximum number u(n) of occurrences of the same distance among n points in the plane. dense unit" source context "Erdős Unit Distance Problem -- from Wolfram MathWorld" Reference image 2: visual subject "A textual summar
openai.com
Fast 80 Jahre lang beschäftigte eine scheinbar einfache Frage die Mathematik: Wie viele Punktpaare in der Ebene können exakt den Abstand 1 haben?
Der ungarische Mathematiker Paul Erdős formulierte dieses Problem 1946. Generationen von Forschenden versuchten seither zu verstehen, wie schnell die maximale Anzahl solcher Paare wächst, wenn man immer mehr Punkte in der Ebene platziert.
Nun berichtet ein neues Resultat aus einem OpenAI‑Reasoning‑Modell von einer Konstruktion, die diese lange bestehende Vermutung widerlegt: Es gibt Punktmengen mit mindestens n^(1+δ) Paaren im Abstand 1 für unendlich viele Werte von n. Damit ist die vermutete nahezu lineare Grenze falsch.
Das Einheitsabstandsproblem
Betrachte eine endliche Menge von Punkten in der Ebene.
Einige Punktpaare liegen möglicherweise genau eine Längeneinheit voneinander entfernt.
Mathematiker definieren dafür zwei Größen:
ν(P): Anzahl der Punktpaare mit Abstand 1 in einer Punktmenge P
ν(n): die maximal mögliche Zahl solcher Paare unter allen Punktmengen mit n Punkten
Das zentrale Problem lautet: Wie schnell wächst ν(n), wenn n größer wird?
Studio Global AI
Setzen Sie Ihre Recherche fort
Diese Seite enthält eine quellengestützte Antwort, die Sie in Studio Global fortsetzen können.
Wie lautet die kurze Antwort auf „Ein KI‑Modell findet Gegenbeispiel zur berühmten Erdős‑Vermutung über Einheitsabstände“?
Ein OpenAI‑Reasoning‑Modell konstruierte Punktmengen in der Ebene mit mindestens n^(1+δ) Paaren im Abstand 1 und widerlegte damit eine seit 1946 bestehende Vermutung von Paul Erdős.
Was sind die wichtigsten Punkte, die zuerst validiert werden müssen?
Ein OpenAI‑Reasoning‑Modell konstruierte Punktmengen in der Ebene mit mindestens n^(1+δ) Paaren im Abstand 1 und widerlegte damit eine seit 1946 bestehende Vermutung von Paul Erdős. Die Methode nutzt Werkzeuge der algebraischen Zahlentheorie – darunter CM‑Körper und Golod–Shafarevich‑artige unendliche Klassenkörper‑Türme – statt klassischer Gitterkonstruktionen.
Was soll ich als nächstes in der Praxis tun?
Führende Mathematiker veröffentlichten eine überprüfte Zusammenfassung des Beweises und diskutierten seine Ideen und Konsequenzen für die diskrete Geometrie.
Ein KI‑Modell findet Gegenbeispiel zur berühmten Erdős‑Vermutung über Einheitsabstände
Ein OpenAI‑Reasoning‑Modell konstruierte Punktmengen in der Ebene mit mindestens n^(1+δ) Paaren im Abstand 1 und widerlegte damit eine seit 1946 bestehende Vermutung von Paul Erdős. Die Methode nutzt Werkzeuge der algebraischen Zahlentheorie – darunter CM‑Körper und Golod–Shafarevich‑artige unendliche Klassenkörper‑...
Veröffentlicht vonBearbeitet mit GPT-5.5Bilder erstellt mit GPT Image 2
Ein OpenAI‑Reasoning‑Modell konstruierte Punktmengen in der Ebene mit mindestens n^(1+δ) Paaren im Abstand 1 und widerlegte damit eine seit 1946 bestehende Vermutung von Paul Erdős.
Die Methode nutzt Werkzeuge der algebraischen Zahlentheorie – darunter CM‑Körper und Golod–Shafarevich‑artige unendliche Klassenkörper‑Türme – statt klassischer Gitterkonstruktionen.
Führende Mathematiker veröffentlichten eine überprüfte Zusammenfassung des Beweises und diskutierten seine Ideen und Konsequenzen für die diskrete Geometrie.
How did an OpenAI internal reasoning model reportedly disprove Paul Erdős’s 1946 unit distance conjecture in discrete geometry, what does thThe unit distance problem asks how many pairs of points in the plane can be exactly one unit apart among n points.
KI-Prompt
Create a landscape editorial hero image for this Studio Global article: How did an OpenAI internal reasoning model reportedly disprove Paul Erdős’s 1946 unit distance conjecture in discrete geometry, what does th. Article summary: An OpenAI document reports that an internal reasoning model found a construction of planar point sets with more unit-distance pairs than Erdős’s 1946 conjecture allows, namely ν(n) ≥ n^(1+δ) for infinitely many n and som. Topic tags: general, academic, general web, user generated. Reference image context from search candidates: Reference image 1: visual subject "# Erdős Unit Distance Problem. The Erdős unit distance problem asks to determine the maximum number u(n) of occurrences of the same distance among n points in the plane. dense unit" source context "Erdős Unit Distance Problem -- from Wolfram MathWorld" Reference image 2: visual subject "A textual summar
openai.com
Fast 80 Jahre lang beschäftigte eine scheinbar einfache Frage die Mathematik: Wie viele Punktpaare in der Ebene können exakt den Abstand 1 haben?
Der ungarische Mathematiker Paul Erdős formulierte dieses Problem 1946. Generationen von Forschenden versuchten seither zu verstehen, wie schnell die maximale Anzahl solcher Paare wächst, wenn man immer mehr Punkte in der Ebene platziert.
Nun berichtet ein neues Resultat aus einem OpenAI‑Reasoning‑Modell von einer Konstruktion, die diese lange bestehende Vermutung widerlegt: Es gibt Punktmengen mit mindestens n^(1+δ) Paaren im Abstand 1 für unendlich viele Werte von n. Damit ist die vermutete nahezu lineare Grenze falsch.
Das Einheitsabstandsproblem
Betrachte eine endliche Menge von Punkten in der Ebene.
Einige Punktpaare liegen möglicherweise genau eine Längeneinheit voneinander entfernt.
Mathematiker definieren dafür zwei Größen:
ν(P): Anzahl der Punktpaare mit Abstand 1 in einer Punktmenge P
ν(n): die maximal mögliche Zahl solcher Paare unter allen Punktmengen mit n Punkten
Das zentrale Problem lautet: Wie schnell wächst ν(n), wenn n größer wird?
Studio Global AI
Setzen Sie Ihre Recherche fort
Diese Seite enthält eine quellengestützte Antwort, die Sie in Studio Global fortsetzen können.
Wie lautet die kurze Antwort auf „Ein KI‑Modell findet Gegenbeispiel zur berühmten Erdős‑Vermutung über Einheitsabstände“?
Ein OpenAI‑Reasoning‑Modell konstruierte Punktmengen in der Ebene mit mindestens n^(1+δ) Paaren im Abstand 1 und widerlegte damit eine seit 1946 bestehende Vermutung von Paul Erdős.
Was sind die wichtigsten Punkte, die zuerst validiert werden müssen?
Ein OpenAI‑Reasoning‑Modell konstruierte Punktmengen in der Ebene mit mindestens n^(1+δ) Paaren im Abstand 1 und widerlegte damit eine seit 1946 bestehende Vermutung von Paul Erdős. Die Methode nutzt Werkzeuge der algebraischen Zahlentheorie – darunter CM‑Körper und Golod–Shafarevich‑artige unendliche Klassenkörper‑Türme – statt klassischer Gitterkonstruktionen.
Was soll ich als nächstes in der Praxis tun?
Führende Mathematiker veröffentlichten eine überprüfte Zusammenfassung des Beweises und diskutierten seine Ideen und Konsequenzen für die diskrete Geometrie.
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.
Das neue Gegenbeispiel
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.
Der zentrale Trick: Zahlentheorie statt Gitter
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:
Totally real number fields in unendlichen Klassenkörper‑Türmen
Konstruktionen vom Golod–Shafarevich‑Typ, die solche unendlichen Türme garantieren
sogenannte CM‑Körper, die entstehen, wenn man die imaginäre Einheit i adjungiert
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.
Überprüfung durch Mathematiker
Nach der Entdeckung erstellten mehrere bekannte Mathematiker eine kompakte, von Menschen überprüfte Darstellung des Arguments.
Zu den beteiligten Forschern gehören unter anderem:
Noga Alon
Timothy Gowers
Thomas Bloom
Will Sawin
Melanie Matchett Wood
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.
Warum das Ergebnis so viel Aufmerksamkeit bekommt
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 es jetzt weitergeht
Wie bei großen mathematischen Resultaten üblich, wird der Beweis in den kommenden Jahren intensiv geprüft. Forschende werden versuchen:
die Argumentation weiter zu vereinfachen
die genaue Größe des Exponenten δ zu bestimmen
mögliche Konsequenzen für andere Probleme der diskreten Geometrie zu untersuchen
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.
cdn.openai.com
REMARKS ON THE DISPROOF OF THE UNIT DISTANCE CONJECTURE
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.
Das neue Gegenbeispiel
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.
Der zentrale Trick: Zahlentheorie statt Gitter
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:
Totally real number fields in unendlichen Klassenkörper‑Türmen
Konstruktionen vom Golod–Shafarevich‑Typ, die solche unendlichen Türme garantieren
sogenannte CM‑Körper, die entstehen, wenn man die imaginäre Einheit i adjungiert
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.
Überprüfung durch Mathematiker
Nach der Entdeckung erstellten mehrere bekannte Mathematiker eine kompakte, von Menschen überprüfte Darstellung des Arguments.
Zu den beteiligten Forschern gehören unter anderem:
Noga Alon
Timothy Gowers
Thomas Bloom
Will Sawin
Melanie Matchett Wood
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.
Warum das Ergebnis so viel Aufmerksamkeit bekommt
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 es jetzt weitergeht
Wie bei großen mathematischen Resultaten üblich, wird der Beweis in den kommenden Jahren intensiv geprüft. Forschende werden versuchen:
die Argumentation weiter zu vereinfachen
die genaue Größe des Exponenten δ zu bestimmen
mögliche Konsequenzen für andere Probleme der diskreten Geometrie zu untersuchen
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.
cdn.openai.com
REMARKS ON THE DISPROOF OF THE UNIT DISTANCE CONJECTURE
