OpenAI knækkede et 80 år gammelt matematikproblem uden specialiseret model

OpenAI’s generelle ræsonneringsmodel har lige knækket en 80 år gammel formodning i diskret geometri. Modellen blev ikke trænet til at lave matematik. Den kører den samme arkitektur, der skriver e-mails og Python-kode, og tirsdag frembragte den en ny familie af geometriske konfigurationer, som fire matematikere nu har verificeret.

Problemet har en bedragerisk simpel formulering. Tag n punkter i en plan. Hvor mange par af dem kan ligge nøjagtigt samme afstand fra hinanden, lad os sige en enhed? Paul Erdős stillede spørgsmålet i 1946 og foreslog en øvre grænse: i størrelsesordenen n opløftet til (1 plus o(1)), en kortform for “næppe mere end lineært”. I årtier kom de bedst kendte konfigurationer fra varianter af det kvadratiske gitter, og gitteret lå meget tæt på det loft. Arbejdende matematikere behandlede grænsen som reelt skarp.

OpenAI’s model strammede ikke grænsen. Den brød den. Systemet frembragte en hel familie af punktarrangementer med mindst n opløftet til (1 plus δ) par i enhedsafstand, for et fast δ større end nul. Det er ikke en finpudsning; det er et modeksempel til formodningens centrale påstand. Will Sawin, en af de fire matematikere, der gennemgik arbejdet, slibede den nye eksponent til et rent udtryk. Thomas Bloom, Melanie Wood og Noga Alon, resten af gennemgangsholdet, bekræftede, at konstruktionen holder.

Det interessante ved metoden er, at den ikke kom indefra geometrien. Modellen krydsede over i algebraisk talteori, udvidede de Gauss-heltal til andre algebraiske talkroppe og behandlede gitterpunkterne som kandidatkonfigurationer. Den bro, geometri trukket ind i talteori, var det spring, mennesker havde overset i otte årtier. Det er den slags træk, der i et matematikseminar får et langsomt nik og en lang stilhed.

Reaktioner fra arbejdende matematikere kom inden for det første døgn. Timothy Gowers, Fields-medaljevinder, kaldte det “det første rigtig klare eksempel på, at en AI løser et virkelig velkendt matematisk problem”. Alexander Wei, forsker hos OpenAI, skrev, at resultatet er af den slags, som en referent ved Annals of Mathematics ville acceptere “uden den mindste tøven”. Den sidste påstand kan testes. Beviset er udgivet som PDF, sammen med et bemærkningsdokument, og det bredere matematiske miljø læser nu.

Rammen, som OpenAI læner sig op ad, er, at dette er første gang et AI-system selvstændigt løser et fremtrædende åbent problem, der ligger centralt i en gren af matematikken. Ordet “selvstændigt” gør meget arbejde der. Modellen frembragte konstruktionen; beviset blev sigtet, slibet og stresstestet af fire menneskelige matematikere, før nogen meddelelse gik ud. Skellet betyder noget, fordi OpenAI har stået her før.

I oktober 2025 lod virksomheden påstanden cirkulere, at en anden intern model havde løst ti åbne problemer stillet af Erdős. Inden for dage viste matematikere, at flere af de “løsninger” enten allerede var kendte eller simpelthen forkerte. OpenAI trak den brede påstand tilbage. Den episode er grunden til, at ugens meddelelse begynder med navnene på verifikatorerne snarere end navnet på modellen. De fire matematikere er garantien.

Det andet detaljespor, der er værd at holde fast i, er hvilken slags model, der frembragte resultatet. OpenAI har ikke afsløret systemets navn, kun at det er en generel ræsonneringsmodel, samme familie, der bærer chat, skriver kode og svarer på supportsager. Der er ingen matematikspecialiseret variant i loopen. Den samme arkitektur, der håndterer hverdagens samtaler, håndterede dette. Implikationen er, at flaskehalsen for AI-dreven matematik måske ikke var en matematik-tunet model. Det kan have været regnekraft og tålmodighed.

At den flaskehals brister, er den egentlige historie. Længe var arbejdsantagelsen blandt forskere, at ægte original matematik ville kræve specialbyggede systemer: teorembevisere, rammer til formel verifikation, smalle modeller trænet på korpora af beviser. Det, der landede tirsdag, er en anden type evidens. En ræsonneringsmodel rettet mod et berømt, uløst, firsindstyveårigt problem; med plads nok til at tænke frembragte den noget, Sawin, Bloom, Wood og Alon var enige om var korrekt. Vejen fra chatvinduet til Erdős viste sig kortere end ventet.

Nogle forbehold gælder stadig. Modellen er ikke offentligt tilgængelig. Uafhængige grupper uden for det oprindelige panel af fire matematikere vil læse beviset i de kommende uger, og den fulde peer review-proces for Annals eller et andet topskrift vil tage måneder. Eksponenten δ er lille. Konstruktionen løser ikke det beslægtede enhedsafstandsproblem på kuglen eller i højere dimensioner. Intet af det formindsker, hvad der skete tirsdag. Det placerer det.

Det, der ændrer sig, er forventningen. For et år siden lød spørgsmålet om AI i matematikken på, om disse systemer nogensinde kunne frembringe originale beviser af betydning. Fra denne uge lyder spørgsmålet, hvilket åbent problem der falder næst, og om de matematikere, der verificerer beviserne, fortsat vil få den anerkendelse, Alon og hans kolleger fik her.

En formodning fra 1946 er en af de stille genstande, der venter på en hylde, til den rette hånd tager den ned. Den hånd, der tog den ned i denne uge, kørte på en GPU-klynge, var ikke blevet trænet til jobbet, og afsluttede arbejdet, mens fire matematikere så på.

OpenAI knækkede et 80 år gammelt matematikproblem uden specialiseret model

Flere som denne

Tæmningen af gruppechatten: Hvordan WhatsApp former vores digitale sociale liv

Sony A7R VI lander i dag med 67 MP stacked-sensor, 8K30p og kamerahus til 4.999 dollar

Instagram tester et ‘AI-creator’-mærke og overlader valget til skaberne

Linus Torvalds erkender: AI-skreven kerne-kode er nu hverdag i Linux

WhatsApp giver nu mulighed for at chatte uden at dele telefonnummer

DJI Osmo Pocket 4 lanceres globalt — men amerikanere kan ikke købe den officielt

Debat