Hvis du troede, at AI’s største bedrift var at generere billeder af katte i rumdragter eller skrive halvlunkne festsange, må du tro om igen. OpenAI har netop smidt en matematisk håndgranat ind i forskningsverdenen: En massiv udgivelse på GitHub bestående af hele 722 videnskabelige manuskripter, der præsenterer løsninger og massive fremskridt på hundredvis af klassiske, uløste matematiske problemer.
Det hele er spyttet ud af en unavngiven, endnu ikke offentliggjort ”frontier”-model, og det har efterladt verdens matematikere et sted mellem dyb benovelse og akut sved på panden.
## En syndflod af formler på GitHub
Hvor videnskabelige gennembrud normalt drypper ud ét ad gangen efter årevis af slid over kridttavlerne, har OpenAI valgt en lidt anden stilart: Syndfloden. De 722 manuskripter er organiseret i 372 resultatfamilier og spænder over alt fra algebra, topologi og logik til geometri og kombinatorik.
Pakken indeholder ikke bare tørre konklusioner, men også model-ræsonnementer, beregningsstatistikker og papir-revisioner. OpenAI har endda allieret sig med en uafhængig rådgivningsgruppe af elite-matematikere for at sikre, at offentliggørelsen af disse AI-gennembrud sker efter bogen – eller i hvert fald så ansvarligt som muligt, når man dumper et helt universitetsbiblioteks produktion på én eftermiddag.
Udgivelsen fremhæver især ti banebrydende resultater. Her finder vi fremskridt inden for emner som sfærisk kodelære, kuglepakning, Connes’ rigiditetsformodning og det berygtede *Closest Vector Problem*. Sidstnævnte er ikke bare abstrakt hjernegymnastik; det er tæt forbundet med gitterbaseret kryptografi og er dermed en hjørnesten i udviklingen af fremtidens post-kvantekryptering.
## Fra 10.000 AI-agenter til Millennium-gåder
Dette massive dump er kulminationen på en bredere forskningsoffensiv fra OpenAI. For nylig vakte selskabet opsigt ved at hævde en løsning på det legendariske Navier–Stokes-problem – en af matematikkens hellige graler og et officielt Millennium-problem. Den bedrift blev angiveligt klaret af et multi-agentsystem med op mod 10.000 sub-agenter, der regnede uafbrudt i 88 timer.
Selvom Clay Mathematics Institute endnu ikke har fundet millionchecken frem til Navier–Stokes-løsningen, understreger den nye bølge af resultater, at OpenAI mener det alvorligt. Det handler ikke længere om et enkelt heldigt skud i tågen, men om en systematisk automatisering af matematisk opdagelse på absolut eliteniveau.
## Matematikerne taber kaffekoppen – og peer-review drukner
Reaktionen i det matematiske samfund har mildest talt været blandet. Nogle forskere jubler over at have fået verdens mest potente regnepartner, mens andre er skeptiske og frustrerede over den enorme opgave, der nu venter.
For i matematikkens verden er en påstand intet værd uden et uigendriveligt bevis. Og hvem har lige tid til at peer-reviewe 722 hyperkomplekse afhandlinger inden frokost? Nogle kritikere lufter allerede bekymringer om forskningsetik, gennemsigtighed og frygten for, at AI-modeller kan hallucinere overbevisende – men forkerte – matematiske argumenter, som det vil tage menneskelige eksperter måneder at gennemskue.
Én ting er dog sikkert: Spillet om videnskabelige opdagelser har ændret sig for altid. Hvis OpenAI’s hemmelige supermodel taler sandt, er lommeregnerens tidsalder definitivt forbi – nu er det AI’en, der stiller og besvarer de helt store spørgsmål.
