Hold på kaffekoppen og find regnemaskinen frem: OpenAI har netop smidt en regulær bombe i det matematiske univers. Ved hjælp af en sværm på intet mindre end 10.000 parallelle AI-agenter hævder tech-giganten at have knækket en central del af det berygtede Navier–Stokes-problem.
Hvor menneskeheden har kløet sig i håret over disse ligninger i årtier, brugte OpenAI’s uudgivede AI-system angiveligt blot 88 timer på opgaven efterfulgt af 17 timers mekanisk eftertjek.
### Matematikkens Mount Everest på under fire døgn
Navier–Stokes-problemet er et af de syv legendariske *Millennium Prize Problems* og handler kort fortalt om de matematiske regler for, hvordan væsker og gasser bevæger sig – og om der undervejs kan opstå uendelige, kaotiske singulariteter. Det er den slags matematik, der normalt kræver årtiers hjernevridning og oceaner af kridt på universiteternes tavler.
OpenAI hævder, at deres agentsværm den 5. september nåede frem til et analytisk bevis, der dækker to ud af fire centrale udsagn i problemets rammeværk. Som prikken over i’et blev beviset formaliseret i kodesproget *Lean*, der bruges til at verificere matematiske beviser helt ned på bit-niveau.
Det markerer et markant skifte: Vi taler ikke længere bare om en chatbot, der kan regne dit madbudget ud, men om kunstig intelligens, der udfører abstrakt ræsonnement på eliteniveau.
### Millionpræmie? Nej tak, vi er OpenAI
Løsningen af et af Millennium-problemerne udløser traditionelt en check på en million dollars fra Clay Mathematics Institute. Men OpenAI har allerede meddelt, at de ikke har tænkt sig at gøre krav på dusøren. Hvem har også brug for en million dollars, når man i forvejen brænder milliarder af på serverdrift?
Før champagnepropperne springer helt i Silicon Valley, er der dog et par væsentlige forbehold: Beviset mangler stadig at blive peer-reviewed og officielt godkendt af det globale matematikersamfund. Indtil videre er der altså tale om en – ganske vist opsigtsvækkende – påstand fra OpenAI selv.
### Drama i kulissen: Hvem kiggede hvem over skulderen?
Ingen god AI-nyhed uden en solid dosis akademisk drama. Offentliggørelsen har nemlig vakt harme hos professor Tristan Buckmaster fra New York University.
Buckmaster hævder, at OpenAI kun gik målrettet efter problemet, fordi de fik nys om et parallelt forskningsprojekt, som han og en matematiker fra rivalen Anthropic arbejdede på – sjovt nok ved hjælp af OpenAI’s egne værktøjer.
OpenAI afviser pure anklagerne om industrispionage og understreger, at de ikke har kigget forskerne over skulderen eller snaget i private brugerdata. Selskabet vedgår dog med et lille, diplomatisk skuldertræk, at afidentificerede produktdata indirekte kan have hjulpet med at forbedre modellerne. Med andre ord: “Vi læste ikke din dagbog, men vores algoritmer lærte måske lidt af dit håndskriftsmønster.”
Hvorvidt OpenAI rent faktisk har løst gåden, vil de kommende måneders granskning blandt verdens skarpeste matematikere vise. Én ting er dog stensikker: AI-agenterne er for alvor rykket ind på forskernes domæne, og de har ikke tænkt sig at vente på, at vi andre fatter ligningerne.
