OpenAI knakk et 80 år gammelt matematikkproblem uten spesialisert modell

OpenAIs generelle resonneringsmodell har nettopp knekt en 80 år gammel formodning i diskret geometri. Modellen ble ikke trent til å gjøre matematikk. Den kjører den samme arkitekturen som skriver e-poster og Python-kode, og tirsdag produserte den en ny familie geometriske konfigurasjoner som fire matematikere nå har verifisert.

Problemet har en villedende enkel formulering. Ta n punkter i et plan. Hvor mange par av dem kan ligge nøyaktig samme avstand fra hverandre, la oss si én enhet? Paul Erdős stilte spørsmålet i 1946 og foreslo en øvre grense: i størrelsesorden n opphøyd i (1 pluss o(1)), en kortform for «så vidt mer enn lineært». I tiår kom de best kjente konfigurasjonene fra varianter av det kvadratiske rutenettet, og rutenettet lå svært nær det taket. Arbeidende matematikere behandlet grensen som reelt stram.

OpenAIs modell strammet ikke grensen. Den brøt den. Systemet produserte en hel familie punktarrangementer med minst n opphøyd i (1 pluss δ) par i enhetsavstand, for en fast δ større enn null. Det er ingen finsliping; det er et moteksempel mot formodningens sentrale påstand. Will Sawin, en av de fire matematikerne som gjennomgikk arbeidet, slipte den nye eksponenten til et rent uttrykk. Thomas Bloom, Melanie Wood og Noga Alon, resten av gjennomgangslaget, bekreftet at konstruksjonen holder.

Det interessante med metoden er at den ikke kom innenfra geometrien. Modellen krysset inn i algebraisk tallteori, utvidet Gauss-heltallene til andre algebraiske tallkropper og behandlet gitterpunktene som kandidatkonfigurasjoner. Den broen, geometri trukket inn i tallteori, var spranget mennesker hadde gått glipp av i åtte tiår. Det er den typen trekk som på et matematikkseminar får et sakte nikk og en lang stillhet.

Reaksjoner fra arbeidende matematikere kom innen første døgn. Timothy Gowers, Fields-medaljevinner, kalte det «det første virkelig klare eksempelet på at en KI løser et virkelig velkjent matematisk problem». Alexander Wei, forsker i OpenAI, skrev at resultatet er av den typen en referent i Annals of Mathematics ville akseptere «uten den minste nøling». Den siste påstanden kan testes. Beviset er publisert som PDF, sammen med et kommentardokument, og det bredere matematikkmiljøet leser nå.

Rammen OpenAI lener seg på er at dette er første gang et KI-system selvstendig løser et fremtredende åpent problem som ligger sentralt i en matematisk gren. Ordet «selvstendig» bærer mye vekt der. Modellen produserte konstruksjonen; beviset ble silt, slipt og stresstestet av fire mennesker før noen kunngjøring gikk ut. Skillet er viktig, for OpenAI har stått her før.

I oktober 2025 lot selskapet påstanden sirkulere om at en annen intern modell hadde løst ti åpne problemer stilt av Erdős. I løpet av dager viste matematikere at flere av de «løsningene» enten allerede var kjente eller simpelthen feil. OpenAI trakk den brede påstanden tilbake. Den episoden er grunnen til at ukens kunngjøring åpner med navnene på verifikatorene snarere enn navnet på modellen. De fire matematikerne er garantien.

Den andre detaljen verdt å holde fast på er hva slags modell som produserte resultatet. OpenAI har ikke avslørt systemets navn, bare at det er en generell resonneringsmodell, samme familie som driver chat, skriver kode og svarer på supportsaker. Det finnes ingen matematikkspesialisert variant i loopen. Den samme arkitekturen som håndterer hverdagslige samtaler håndterte dette. Implikasjonen er at flaskehalsen for KI-drevet matematikk kanskje ikke var en matematikkfintunet modell. Det kan ha vært regnekraft og tålmodighet.

At den flaskehalsen brister er den egentlige historien. Lenge var arbeidsantakelsen blant forskere at ekte original matematikk ville kreve skreddersydde systemer: teorembevisere, rammeverk for formell verifikasjon, smale modeller trent på korpus av bevis. Det som landet på tirsdag er en annen type evidens. En resonneringsmodell pekt mot et berømt, uløst, åttiårig problem; med nok rom til å tenke produserte den noe Sawin, Bloom, Wood og Alon var enige om var korrekt. Veien fra chattevinduet til Erdős viste seg kortere enn ventet.

Noen forbehold gjelder fortsatt. Modellen er ikke offentlig tilgjengelig. Uavhengige grupper utenfor det opprinnelige panelet av fire matematikere vil lese beviset de kommende ukene, og den fulle fagfellevurderingen for Annals eller et annet topptidsskrift vil ta måneder. Eksponenten δ er liten. Konstruksjonen løser ikke det beslektede enhetsavstandsproblemet på kulen eller i høyere dimensjoner. Ingenting av dette reduserer hva som skjedde på tirsdag. Det plasserer det.

Det som endres er forventningen. For et år siden var spørsmålet om KI i matematikken om disse systemene noen gang kunne produsere originale bevis av tyngde. Fra denne uken er spørsmålet hvilket åpent problem som faller neste gang, og om matematikerne som verifiserer bevisene fortsatt vil bli kreditert slik Alon og kollegene hans ble her.

En formodning fra 1946 er en av de stille gjenstandene som venter på en hylle til den rette hånden tar dem ned. Hånden som tok den ned denne uken kjørte på en GPU-klynge, var ikke trent for jobben, og avsluttet arbeidet mens fire matematikere så på.

OpenAI knakk et 80 år gammelt matematikkproblem uten spesialisert modell

Mer som dette

En AI skrev en fungerende zero-day-utnyttelse — Google stoppet angrepet

ICARUS: Console Edition annonsert for PlayStation 5 og Xbox Series-konsoller

WhatsApp lanserer brukernavn — du trenger ikke lenger dele telefonnummeret

Spotify Premium får 1 400 Peloton-økter gratis — uten behov for sykkel

GPT-5.5 har akkurat landet på AWS og avslutter Microsofts syvårige grep om OpenAI

Sonys Xperia 1 VIII til 1499 euro har fortsatt hodetelefonkontakt

Diskusjon