🔢 mathematics

Remarks on the disproof of the unit distance conjecture

Dit artikel presenteert een beknopte, door mensen geverifieerde samenvatting van een door OpenAI gegenereerd tegenvoorbeeld voor de eenheidsafstandsvermoeden van Erdős, ondersteund door reflecties op de afhankelijkheid ervan van wiskundige concepten die worden toegeschreven aan Ellenberg-Venkatesh, Golod-Shafarevich en Hajir-Maire-Ramakrishna.

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

Gepubliceerd 2026-05-21

📖 1 min leestijd🧠 Diepgaand

CC BY 4.0

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

Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer

Het Grote Plaatje: Een Puzzel Opgelost door een Digitale Detective

Stel je een beroemde, onopgeloste puzzel in de wiskunde voor, genaamd de Erdős-eenheidsafstandvermoeden.

Decennia lang hebben wiskundigen geprobeerd een specifieke vraag op te lossen: Als je $n$ stippen op een stuk papier verspreidt, wat is dan het maximale aantal paren stippen dat precies één inch uit elkaar ligt?

De Oude Gissing: De meeste experts geloofden dat het antwoord "niet heel veel" was. Ze dachten dat het aantal paren langzaam zou groeien, ongeveer evenredig met $n$ (het aantal stippen) plus een klein, afnemend beetje. Ze dachten dat de stippen uiteindelijk geen ruimte meer zouden hebben om nieuwe verbindingen van één inch te vormen.
De Nieuwe Ontdekking: Dit artikel kondigt aan dat de experts het bij het verkeerde eind hadden. Een team van menselijke wiskundigen, dat werkte met een AI-model van OpenAI, vond een manier om de stippen zo te rangschikken dat het aantal paren van één inch ontploft. Het groeit veel sneller dan iemand had verwacht – specifiek, het groeit als $n$ verheven tot een macht die iets groter is dan 1 (zoals $n^{1.000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000

Technische Samenvatting: Opmerkingen over de weerlegging van de eenheidsafstandsvermoeden

1. Het Probleem
Het artikel behandelt het vermoeden van Erdős over eenheidsafstanden, een centraal open probleem in de discrete meetkunde dat in 1946 werd gesteld. Het probleem vraagt om het maximumaantal eenheidsafstanden, aangeduid met $U(n)$ , dat kan worden bepaald door een verzameling van $n$ punten in het Euclidische vlak $\mathbb{R}^2$ .

Historische Context: Erdős stelde een ondergrens van $n^{1+\Omega(1/\log \log n)}$ vast met behulp van een $\sqrt{n} \times \sqrt{n}$ -rooster van gehele getallen. De beste bekende bovengrens is $O(n^{4/3})$ , bewezen door Spencer, Szemerédi en Trotter.
Het Vermoeden: Erdős vermoedde dat $U(n) \le n^{1+o(1)}$ . Deze overtuiging was wijdverbreid, waarbij veel experts ervan uitgingen dat het vermoeden waar was, deels omdat het probleem van de verschillende afstanden (bewezen door Guth en Katz als $\Omega(n/\log n)$ verschillende afstanden) een structurele rigiditeit suggereerde die eenheidsafstanden zou beperken.

2. Methodologie en Bewijsstrategie
Het artikel presenteert een door mensen geverifieerde, vereenvoudigde en gegeneraliseerde versie van een tegenvoorbeeld gegenereerd door een intern OpenAI-model. Het argument construeert een rij puntverzamelingen $P_i \subset \mathbb{R}^2$ zodat $|P_i| \to \infty$ en het aantal eenheidsafstanden ten minste $|P_i|^{1+\varepsilon}$ is voor zekere $\varepsilon > 0$ .

Het bewijs rust op twee voornaamste lemma's die algebraïsch getaltheorie en meetkunde van getallen verbinden:

Lemma 2.1 (Meetkunde van Getallen): Dit lemma stelt vast dat als een rooster van volledig rang $\Lambda \subset \mathbb{C}^f$ een grote verzameling punten $U_\Lambda$ bevat met complexe absolute waarde 1 (eenheidsmodulus) in elke inbedding, men een begrensde venster van het rooster naar het vlak kan projecteren om een puntverzameling te creëren met veel eenheidsafstanden. Het aantal eenheidsafstanden schaalt superlineair met het aantal punten als de verhouding tussen "eenheids"-elementen en de "schuine" van het rooster voldoende groot is en de dimensie $f$ groeit.
Lemma 2.2 (Algebraïsch Getaltheorie): Dit lemma construeert de vereiste grote verzameling elementen met eenheidsmodulus. Het maakt gebruik van het duivenhokprincipe op de ideaalklasgroep van een getallenlichaam $K$ . Specifiek wordt een ideaal $Q$ beschouwd dat is gevormd uit producten van geconjugeerde priemidealen $(P_j \bar{P}_j)^{k_j}$ . Door het aantal manieren te tellen om hoofdidealen binnen deze structuur te vormen, garandeert het lemma het bestaan van vele elementen $u \in Q^{-2}$ zodat $|u|=1$ in alle inbeddingen.

Belangrijkste Technische Innovaties:

Oneindige Class Field Towers: In tegenstelling tot eerdere constructies die het getallenlichaam vaststelden en de priemgetallen varieerden, varieert dit bewijs het getallenlichaam zelf. Het maakt gebruik van een oneindige toren van getallenlichamen (specifiek CM-lichamen $K_j$ ) met een begrensde worteldiscriminant maar een groeiende graad $[K_j : \mathbb{Q}] \to \infty$ .
Golod-Shafarevich-theorie: Het bestaan van dergelijke torens wordt gegarandeerd door de stelling van Golod-Shafarevich. De auteurs maken gebruik van een specifieke constructie die een maximale pro- $p$ -uitbreiding omvat die ongeramd is buiten een eindige verzameling priemgetallen $T$ en volledig splitst in een verzameling $S$ . Dit zorgt ervoor dat het klassengetal $h(K)$ en de discriminant gecontroleerd blijven ten opzichte van de graad, waardoor het aantal eenheidselementen exponentieel kan groeien met de graad.
Splitting Priemgetallen: De constructie vereist dat de getallenlichamen veel gesplitste priemgetallen hebben (specifiek, priemgetallen die volledig splitsen). Het artikel merkt op dat hoewel het originele AI-argument een eindig aantal gesplitste priemgetallen vereiste, de door mensen geverifieerde versie dit vereenvoudigt door torens met oneindig veel gesplitste priemgetallen te gebruiken (een bekend resultaat in de literatuur, bijvoorbeeld door Hajir, Maire en Ramakrishna).

3. Belangrijkste Bijdragen en Resultaten

Weerlegging van het Vermoeden: Het primaire resultaat is Stelling 1.1, die het bestaan bevestigt van $\varepsilon > 0$ en een rij puntverzamelingen $P_i$ waarbij het aantal eenheidsafstanden $\ge |P_i|^{1+\varepsilon}$ is. Dit weerlegt definitief het vermoeden dat $U(n) \le n^{1+o(1)}$ .
Mens-AI Samenwerking: Het artikel dient als een "samenvatting" van een door AI gegenereerd bewijs. Het valideert het kerninzicht van de AI – dat oneindige class field towers de nodige asymptotische groei kunnen bieden – terwijl het de technische details vereenvoudigt (bijvoorbeeld het verminderen van het aantal vereiste gesplitste priemgetallen) en een rigoureuze verificatie biedt.
Synthese van Velden: Het werk toont een diepe connectie aan tussen extremale combinatoriek, algebraïsch getaltheorie (specifiek class field towers en eenheidsgroepen) en de meetkunde van getallen. Het benadrukt dat een "enorme graad" in algebraïsche realisaties, die eerder als een hinderlijk werd beschouwd, een bron van tegenvoorbeelden kan zijn.

4. Betekenis en Reflecties
De auteurs, waaronder vooraanstaande wiskundigen op het gebied van combinatoriek, getaltheorie en meetkunde, reflecteren op de implicaties van dit resultaat:

Verrassingselement: Het resultaat is verrassend omdat de gemeenschap zich grotendeels had gericht op het bewijzen van de bovengrens $n^{1+o(1)}$ , ervan uitgaande dat het vermoeden waar was. Het tegenvoorbeeld vereiste een verschuiving in perspectief: van vaste velden naar oneindige torens en het prioriteren van weerlegging boven bewijs.
Rol van AI: Het artikel betoogt dat AI een uniek vermogen demonstreerde om uiteenlopende technische hulpmiddelen (Golod-Shafarevich, class field-theorie, meetkunde van getallen) te combineren en volhardend een pad te verkennen (weerlegging via velden met hoge graad) dat menselijke experts mogelijk als onwaarschijnlijk of te complex hadden afgewezen.
Beperkingen van het Resultaat: De auteurs merken op dat hoewel de constructie elegant is, het geen nieuwe meetkundige hulpmiddelen of structurele resultaten introduceert die een bewijs van het vermoeden misschien had opgeleverd. Het is een "negatief" resultaat (een tegenvoorbeeld) in plaats van een structurele karakterisering.
Toekomstige Richtingen: Het artikel suggereert dat vergelijkbare getaltheoretische constructies relevant kunnen zijn voor andere open problemen in de discrete meetkunde, zoals het probleem van de verschillende afstanden of het eenheidsafstandsprobleem in $\mathbb{R}^3$ , hoewel er voor die gevallen nog aanzienlijke obstakels blijven bestaan.

Kortom, het artikel presenteert een rigoureuze, door mensen geverifieerde weerlegging van het vermoeden van Erdős over eenheidsafstanden, waarbij oneindige class field towers worden ingezet om puntverzamelingen te construeren met superlineaire eenheidsafstanden. Het staat als een mijlpaalvoorbeeld van door AI ondersteunde wiskundige ontdekking, waarbij een AI een nieuw tegenvoorbeeld genereerde dat door menselijke experts vervolgens werd verfijnd en gevalideerd.

Het Grote Plaatje: Een Puzzel Opgelost door een Digitale Detective

Technische Samenvatting: Opmerkingen over de weerlegging van de eenheidsafstandsvermoeden

Meer zoals dit