🔢 mathematics

Remarks on the disproof of the unit distance conjecture

Dieser Artikel präsentiert eine prägnante, von Menschen verifizierte Zusammenfassung eines von OpenAI generierten Gegenbeispiels zur Erdősschen Einheitsdistanzvermutung, die durch Überlegungen zu ihrer Abhängigkeit von mathematischen Konzepten gestützt wird, die Ellenberg-Venkatesh, Golod-Shafarevich sowie Hajir-Maire-Ramakrishna zugeschrieben werden.

Ursprüngliche Autoren: Noga Alon, Thomas F. Bloom, W. T. Gowers, Daniel Litt, Will Sawin, Arul Shankar, Jacob Tsimerman, Victor Wang, Melanie Matchett Wood

Veröffentlicht 2026-05-21

📖 1 Min. Lesezeit🧠 Tiefgang

CC BY 4.0

Ursprüngliche Autoren: Noga Alon, Thomas F. Bloom, W. T. Gowers, Daniel Litt, Will Sawin, Arul Shankar, Jacob Tsimerman, Victor Wang, Melanie Matchett Wood

Originalarbeit lizenziert unter CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dies ist eine KI-generierte Erklärung des untenstehenden Papers. Sie wurde nicht von den Autoren verfasst oder gebilligt. Für technische Genauigkeit konsultieren Sie das Originalpaper. Vollständigen Haftungsausschluss lesen

Das große Ganze: Ein Rätsel, das von einem digitalen Detektiv gelöst wurde

Stellen Sie sich ein berühmtes, ungelöstes Rätsel in der Mathematik vor, das Vermutung von Erdős über den Einheitsabstand heißt.

Seit Jahrzehnten versuchen Mathematiker herauszufinden, eine spezifische Frage zu beantworten: Wenn Sie $n$ Punkte auf ein Blatt Papier verteilen, was ist die maximale Anzahl von Paaren von Punkten, die genau einen Zoll voneinander entfernt sind?

Die alte Vermutung: Die meisten Experten glaubten, die Antwort sei „nicht sehr viele". Sie dachten, die Anzahl der Paare würde langsam wachsen, ungefähr wie $n$ (die Anzahl der Punkte) plus eine winzige, schrumpfende Menge. Sie glaubten, dass den Punkten irgendwann der Platz ausgehen würde, um neue Verbindungen mit einem Zoll Abstand zu bilden.
Die neue Entdeckung: Dieses Papier kündigt an, dass die Experten falsch lagen. Ein Team aus menschlichen Mathematikern, das mit einem KI-Modell von OpenAI zusammengearbeitet hat, fand einen Weg, die Punkte so anzuordnen, dass die Anzahl der Paare mit einem Zoll Abstand explodiert. Sie wächst viel schneller als erwartet – nämlich wie $n$ hoch einer Potenz, die etwas größer als 1 ist (wie $n^{1.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000

Technischer Überblick: Bemerkungen zur Widerlegung der Einheitsdistanzvermutung

1. Das Problem
Der Artikel behandelt die Einheitsdistanzvermutung von Erdős, ein zentrales offenes Problem der diskreten Geometrie, das 1946 aufgeworfen wurde. Das Problem fragt nach der maximalen Anzahl von Einheitsdistanzen, bezeichnet als $U(n)$ , die durch eine Menge von $n$ Punkten in der euklidischen Ebene $\mathbb{R}^2$ bestimmt werden können.

Historischer Kontext: Erdős bewies eine untere Schranke von $n^{1+\Omega(1/\log \log n)}$ unter Verwendung eines $\sqrt{n} \times \sqrt{n}$ -ganzzahligen Gitters. Die beste bekannte obere Schranke ist $O(n^{4/3})$ , bewiesen von Spencer, Szemerédi und Trotter.
Die Vermutung: Erdős vermutete, dass $U(n) \le n^{1+o(1)}$ gilt. Dieser Glaube war weit verbreitet; viele Experten gingen davon aus, dass die Vermutung wahr sei, teilweise weil das Problem der verschiedenen Distanzen (bewiesen von Guth und Katz mit $\Omega(n/\log n)$ verschiedenen Distanzen) eine strukturelle Starrheit nahelegte, die Einheitsdistanzen begrenzen würde.

2. Methodik und Beweisstrategie
Der Artikel präsentiert eine vom Menschen verifizierte, vereinfachte und verallgemeinerte Version eines Gegenbeispiels, das von einem internen OpenAI-Modell generiert wurde. Das Argument konstruiert eine Folge von Punktmengen $P_i \subset \mathbb{R}^2$ , sodass $|P_i| \to \infty$ und die Anzahl der Einheitsdistanzen mindestens $|P_i|^{1+\varepsilon}$ für ein gewisses $\varepsilon > 0$ beträgt.

Der Beweis stützt sich auf zwei Hauptlemmata, die algebraische Zahlentheorie und Geometrie der Zahlen verbinden:

Lemma 2.1 (Geometrie der Zahlen): Dieses Lemma stellt fest, dass, wenn ein Gitter $\Lambda \subset \mathbb{C}^f$ vollen Rangs eine große Menge von Punkten $U_\Lambda$ mit komplexem Betrag 1 (Einheitsbetrag) in jeder Einbettung enthält, man ein beschränktes Fenster des Gitters auf die Ebene projizieren kann, um eine Punktmenge mit vielen Einheitsdistanzen zu erzeugen. Die Anzahl der Einheitsdistanzen skaliert superlinear mit der Anzahl der Punkte, wenn das Verhältnis von „Einheits"-Elementen zur „Schrägheit" des Gitters hinreichend groß ist und die Dimension $f$ wächst.
Lemma 2.2 (Algebraische Zahlentheorie): Dieses Lemma konstruiert die erforderliche große Menge von Elementen mit Einheitsbetrag. Es verwendet das Schubfachprinzip auf der Idealklassengruppe eines Zahlkörpers $K$ . Konkret betrachtet es ein Ideal $Q$ , das aus Produkten konjugierter Primideale $(P_j \bar{P}_j)^{k_j}$ gebildet wird. Durch Zählen der Möglichkeiten, innerhalb dieser Struktur Hauptideale zu bilden, garantiert das Lemma die Existenz vieler Elemente $u \in Q^{-2}$ , sodass $|u|=1$ in allen Einbettungen gilt.

Wichtige technische Innovationen:

Unendliche Klassenkörpertürme: Im Gegensatz zu früheren Konstruktionen, die den Zahlkörper festlegten und die Primzahlen variierten, variiert dieser Beweis den Zahlkörper selbst. Er verwendet einen unendlichen Turm von Zahlkörpern (insbesondere CM-Körper $K_j$ ) mit beschränkter Wurzel-Diskriminante, aber wachsendem Grad $[K_j : \mathbb{Q}] \to \infty$ .
Golod-Shafarevich-Theorie: Die Existenz solcher Türme wird durch den Satz von Golod-Shafarevich garantiert. Die Autoren nutzen eine spezifische Konstruktion, die eine maximale pro- $p$ -Erweiterung umfasst, die außerhalb einer endlichen Menge von Primzahlen $T$ unverzweigt ist und in einer Menge $S$ vollständig zerfällt. Dies stellt sicher, dass die Klassenzahl $h(K)$ und die Diskriminante im Verhältnis zum Grad kontrolliert bleiben, wodurch die Anzahl der Einheitselemente exponentiell mit dem Grad wachsen kann.
Zerfallende Primzahlen: Die Konstruktion erfordert, dass die Zahlkörper viele zerfallende Primzahlen haben (insbesondere Primzahlen, die vollständig zerfallen). Der Artikel stellt fest, dass, während das ursprüngliche KI-Argument eine endliche Anzahl zerfallender Primzahlen benötigte, die vom Menschen verifizierte Version dies vereinfacht, indem sie Türme mit unendlich vielen zerfallenden Primzahlen verwendet (ein bekanntes Ergebnis in der Literatur, z. B. von Hajir, Maire und Ramakrishna).

3. Wichtige Beiträge und Ergebnisse

Widerlegung der Vermutung: Das Hauptergebnis ist Satz 1.1, der die Existenz eines $\varepsilon > 0$ und einer Folge von Punktmengen $P_i$ behauptet, bei denen die Anzahl der Einheitsdistanzen $\ge |P_i|^{1+\varepsilon}$ ist. Dies widerlegt endgültig die Vermutung, dass $U(n) \le n^{1+o(1)}$ gilt.
Mensch-KI-Zusammenarbeit: Der Artikel dient als „Digest" eines von einer KI generierten Beweises. Er validiert den Kerngedanken der KI – dass unendliche Klassenkörpertürme das notwendige asymptotische Wachstum liefern könnten –, vereinfacht gleichzeitig die technischen Details (z. B. Reduzierung der Anzahl benötigter zerfallender Primzahlen) und liefert eine rigorose Verifikation.
Synthese von Gebieten: Die Arbeit zeigt eine tiefe Verbindung zwischen extremer Kombinatorik, algebraischer Zahlentheorie (insbesondere Klassenkörpertürme und Einheitengruppen) und der Geometrie der Zahlen auf. Sie unterstreicht, dass ein „enormer Grad" in algebraischen Realisierungen, der zuvor als Ärgernis betrachtet wurde, eine Quelle für Gegenbeispiele sein kann.

4. Bedeutung und Reflexionen
Die Autoren, darunter prominente Mathematiker aus den Bereichen Kombinatorik, Zahlentheorie und Geometrie, reflektieren über die Implikationen dieses Ergebnisses:

Überraschungsfaktor: Das Ergebnis ist überraschend, da sich die Gemeinschaft weitgehend darauf konzentriert hatte, die obere Schranke $n^{1+o(1)}$ zu beweisen und davon ausging, dass die Vermutung wahr sei. Das Gegenbeispiel erforderte einen Perspektivwechsel: den Übergang von festen Körpern zu unendlichen Türmen und die Priorisierung der Widerlegung gegenüber dem Beweis.
Rolle der KI: Der Artikel argumentiert, dass die KI eine einzigartige Fähigkeit demonstrierte, disparate technische Werkzeuge (Golod-Shafarevich, Klassenkörpertheorie, Geometrie der Zahlen) zu kombinieren und beharrlich einen Pfad zu erkunden (Widerlegung durch Körper hohen Grades), den menschliche Experten möglicherweise als unwahrscheinlich oder zu komplex abgetan hätten.
Grenzen des Ergebnisses: Die Autoren stellen fest, dass die Konstruktion zwar elegant ist, aber keine neuen geometrischen Werkzeuge oder strukturellen Ergebnisse einführt, die ein Beweis der Vermutung möglicherweise geboten hätte. Es ist ein „negatives" Ergebnis (ein Gegenbeispiel) und keine strukturelle Charakterisierung.
Zukünftige Richtungen: Der Artikel schlägt vor, dass ähnliche zahlentheoretische Konstruktionen für andere offene Probleme der diskreten Geometrie relevant sein könnten, wie das Problem der verschiedenen Distanzen oder das Einheitsdistanzproblem in $\mathbb{R}^3$ , obwohl für diese Fälle erhebliche Hindernisse bestehen bleiben.

Zusammenfassend präsentiert der Artikel eine rigorose, vom Menschen verifizierte Widerlegung der Einheitsdistanzvermutung von Erdős, die unendliche Klassenkörpertürme nutzt, um Punktmengen mit superlinearen Einheitsdistanzen zu konstruieren. Er stellt ein wegweisendes Beispiel für KI-gestützte mathematische Entdeckung dar, bei dem eine KI ein neues Gegenbeispiel generierte, das von menschlichen Experten anschließend verfeinert und validiert wurde.

Das große Ganze: Ein Rätsel, das von einem digitalen Detektiv gelöst wurde

Technischer Überblick: Bemerkungen zur Widerlegung der Einheitsdistanzvermutung

Mehr davon