Nogle matematiske problemer er formuleret så enkelt, at de kan forklares for et barn, men alligevel så vanskelige, at de optager generationer af matematikere. Et sådant problem er det såkaldte enhedsafstandsproblem: Placer \(n\) punkter i planet. Hvor mange par af punkter kan så have en afstand på præcis \(1\) ? Problemet stammer fra Paul Erdős og er blevet studeret siden 1946. OpenAI har nu offentliggjort, at en intern model har modbevist en længe kendt formodning om dette problem.
Ved første øjekast lyder spørgsmålet harmløst. Hvis man placerer \(n\) punkter på en ret linje, får man omtrent \(n-1\) intervaller af længden \(1\) . Hvis man arrangerer punkterne som et gitter, ligesom på millimeterpapir, får man betydeligt flere af disse intervaller: vandret og lodret mellem tilstødende punkter. Erdős havde allerede fundet konstruktioner, der var noget bedre end lineære. I lang tid mente man dog, at dette ikke kunne forbedres væsentligt. Formelt var antagelsen, at det maksimale antal af sådanne enhedsintervaller kun vokser omtrent \(n^{1+o(1)}\) , det vil sige noget hurtigere end \(n\) , men ikke med en fast yderligere eksponent.
Dette er netop det overraskende pointe: OpenAI-modellen (som ikke blev afsløret) konstruerede ikke blot et enkelt modeksempel, men en uendelig familie af punktmængder \(P\) for hvilke antallet af enhedsafstande er mindst \(|P|^{1+\delta}\) , med en fast \(\delta>0\) . En senere forfinelse af Will Sawin giver ifølge OpenAI endda \(\delta=0{,}014\) . Dette lyder småt, men er matematisk enormt: Det er ikke længere en logaritmisk rest, men en ægte polynomial forstærkning.
Et simpelt eksempel illustrerer den grundlæggende idé. Lad os betragte det komplekse tal
\[
u=\frac{2+i}{2-i}=\frac{3+4i}{5}=\frac35+\frac45i.
\]
Dette tal har en absolut værdi på \(1\) , fordi
\[
\left|\frac35+\frac45i\right|=\sqrt{\left(\frac35\right)^2+\left(\frac45\right)^2}=1.
\]
Derfor, hvis \(x\) er et punkt i planet, så er \(x\) og \(x+u\) præcis \(1\) fra hinanden. Specifikt er punkterne for eksempel placeret ved...
\[
0
\quad\text{und}\quad
\frac35+\frac45i
\]
præcis én enhed fra hinanden. Et talteoretisk udtryk giver således en geometrisk retning med længden \(1\) . Dette er endnu ikke det store modbevis, men det er den lille version af tricket: man leder ikke kun efter vandrette og lodrette enhedsafstande som i gitteret, men efter mange aritmetisk genererede retninger, som alle har præcis længden \(1\) .
Selve konstruktionen bruger betydeligt kraftigere værktøjer. I stedet for kun at arbejde med de gaussiske heltal \(\mathbb{Z}[i]\) , bruger beviset mere komplicerede algebraiske talfelter \(K=L(i)\) . Der er mange elementer af formen
\[
u=\frac{\alpha}{c(\alpha)}
\]
konstrueret, hvor \(c\) spiller rollen som kompleks konjugering. Den afgørende effekt er: blandt de relevante komplekse indlejringer har disse \(u\) hver en størrelsesorden på \(1\) . De er derfor kandidater til mange forskellige enhedsretninger.
Meget groft sagt ligner et sandt modeksempel ikke et lille, smukt billede med ti prikker, men snarere en enorm, aritmetisk konstrueret sværm af prikker. Man tager et højdimensionelt gitter, skærer passende punkter ud af det og projicerer disse derefter tilbage på det ordinære plan. I bevisnotation udtrykkes dette groft i formen...
\[
P_j=\pi_1\big((y+\Lambda_j)\cap W\big),
\]
Med andre ord: Man tager punkter fra et forskudt gitter \(y+\Lambda_j\) , begrænser dem med et område \(W\) og projicerer dem med \(\pi_1\) på en kompleks koordinat, dvs. på \(\mathbb{C}\cong\mathbb{R}^2\) . Mange forskelle mellem disse punkter er så netop sådanne \(u\) elementer med størrelsesorden \(1\) . Derfor bliver de efter projektionen sande enhedsafstande i planet.
En visuel analogi er denne: Standardgitteret bruger et par simple retninger, såsom højre, venstre, op og ned. Den nye konstruktion genererer imidlertid et stort antal skjulte retninger afledt af algebraisk talteori. Hver retning er præcis én enhed lang. Fordi der er så mange sådanne retninger, og mange punkter svarer til dem, er de samlede enhedsafstande større, end den gamle formodning ville tillade.
Det er også bemærkelsesværdigt, hvor beviset kommer fra. Ifølge OpenAI blev løsningen fundet autonomt af en generel ræsonnementsmodel, ikke af et matematisk system, der er specifikt trænet til dette problem. Beviset blev derefter gennemgået internt og eksternt og gengivet i en menneskeligt læsbar form. De ledsagende noter fra eksterne matematikere understreger også, at dette ikke blot er en automatiseret version af en kendt metode, men en uventet forbindelse mellem diskret geometri og algebraisk talteori.
Dette er sandsynligvis den virkelige grund til, at dette resultat er så interessant. Det handler ikke kun om, at en AI løser et problem korrekt. Det handler om, at den finder en måde, der ikke var indlysende for mange mennesker: at tackle et geometrisk problem om afstande i et plan med dybe værktøjer fra talteori. Dette gør ikke matematikken mindre menneskelig. Men det giver den en ny, temmelig ubehageligt stærk modstander.