AnswersPublished21 sources
Derfor lod OpenAI Justin Suns matematikpris på 1 mio. dollar stå urørt
OpenAI stod som berettiget vinder af Justin Suns toppris på 1 mio. dollar, men prisen var fortsat uafhentet 17. OpenAI hævder at have vist et tvunget sammenbrud i Navier–Stokes ligningerne; det er ikke det samme som at have afgjort alle fortolkninger af Millennium problemet.
Udgivet afRedigeret med GPT-5.6 TerraBilleder genereret med GPT Image 2
Research answer
Key takeaways
- OpenAI stod som berettiget vinder af Justin Suns toppris på 1 mio. dollar, men prisen var fortsat uafhentet 17.
- OpenAI hævder at have vist et tvunget sammenbrud i Navier–Stokes ligningerne; det er ikke det samme som at have afgjort alle fortolkninger af Millennium problemet.
- Clays særskilte pris kræver publicering, mindst to års ventetid og bred accept blandt matematikere, mens en krediteringskonflikt fortsat ikke er afgjort.
AI Prompt
openai.comCreate a landscape editorial hero image for this Studio Global article: What happened when OpenAI declined to claim Justin Sun’s $1 million prize for its reported AI-generated solution to the three-dimensional Na. Article summary: OpenAI did not claim Justin Sun’s inaugural $1 million prize, even though Sun’s program listed its Navier–Stokes submission as the top award. The company’s reported result is significant but remains a claim under scrutin. Topic tags: general, news, general web, academic, government. Style: premium digital editorial illustration, source-backed research mood, clean composition, high detail, modern web publication hero. Use reference image context only for broad subject, composition, and topical grounding; do not copy the exact image. Avoid: logos, brand marks, copyrighted characters, real person likenesses, fake screenshots, UI text, readable text, watermarks, ch
OpenAI blev udpeget til den første toppris i Justin Suns nye matematikprogram, men lod ifølge omtalen de 1 mio. dollar stå uafhentet. Det er ikke blot en historie om en AI, der måske har fundet et bevis. Det handler også om, hvornår et maskinverificeret resultat bliver til et matematisk gennembrud, som fagfællesskabet anerkender – og om, hvem der skal have æren. 3
6
8
9
Hvad OpenAI faktisk hævder
Den 8. september 2026 offentliggjorde OpenAI en gennemgang og en Lean-formalisering af et resultat om de tredimensionale inkompressible Navier–Stokes-ligninger, som bruges til at beskrive væskers bevægelse. Ifølge virksomheden viser beviset, at en væske, der begynder glat og i hvile, kan udvikle en singularitet på endelig tid, hvis den påvirkes af en glat ydre kraft. 6
Det er en afgørende afgrænsning. Resultatet vedrører det, Clay-problemets formulering kalder et tvunget modeksempel – tilfælde C og D. Det fastslår ikke de utvungne alternativer om global regularitet, tilfælde A og B. Derfor er overskriften "Navier–Stokes er løst" for grov, hvis den forstås som en endelig løsning på alle de spørgsmål, læsere normalt forbinder med Millennium-problemet. 6
18
19
10.000 AI-agenter – og Lean som kontrol
OpenAI oplyser, at virksomheden begyndte at teste en intern model, som stadig var under træning, på problemet 28. august og skalerede arbejdet op efter 1. september. Indsatsen bestod af koordinerede agentgrupper med adgang til kode og cachelagret webmateriale, og omkring 10.000 agenter arbejdede parallelt på Navier–Stokes-opgaven. 6
Ifølge omtalen tog selve opdagelsesforløbet omkring 88 timer. Derefter brugte GPT-6 Astra cirka 17 timer på at formalisere og kontrollere arbejdet i Lean, et formelt bevissystem. OpenAI understreger, at modellen, der fandt resultatet, var en intern model, som var væsentligt stærkere end GPT-6 Astra; Astras rolle var knyttet til formalisering og kontrol, ikke nødvendigvis den oprindelige matematiske idé. 6
8
En Lean-kontrol er stærk dokumentation for, at et bestemt teorem følger af de antagelser, der er kodet ind i systemet. Men den afgør ikke alene, om den formelle formulering dækker samtlige betingelser i Clays problemformulering. Den erstatter heller ikke uafhængige matematikeres vurdering af bevisets rækkevidde og fortolkning.
Hvorfor Clay endnu ikke har uddelt sin million
Clay Mathematics Institutes Millennium-pris er helt adskilt fra Justin Suns pris. Clay oplyste 11. september, at instituttet vurderer OpenAIs meddelelse efter sine etablerede regler, og at processen bevidst ikke forhastes. 1
Reglerne kræver, at en foreslået løsning publiceres i en godkendt kanal, at der går mindst to år efter publiceringen, og at løsningen opnår generel accept i det globale matematiske fagmiljø, før Clay vil overveje en pris.
Status er derfor enkel: OpenAI har fremsat et offentligt krav og frigivet formaliseringsmateriale, men Clay har ikke anerkendt det som en Millennium-pris-løsning. Uafhængige matematikere skal stadig granske både det analytiske bevis, Lean-formaliseringen og spørgsmålet om, hvorvidt resultatet opfylder de relevante problemkrav. 1
6
Suns pris følger andre regler
Justin Sun annoncerede prisen 16. september som et decentraliseret akademisk belønningsprogram for gennembrud i grundforskning og maskinel formel verifikation. Den første runde omfattede 66 matematiske problemer, og OpenAIs påståede Navier–Stokes-resultat blev tildelt topprisen på 1 mio. dollar. 3
14
Programmets idé er hurtigere og bredere end Clays: Det skal belønne maskinverificerbare beviser og er fremlagt som åbent for menneskelige forskere, AI-systemer og samarbejder mellem mennesker og AI. 4
14
Det gør imidlertid Suns pris til en privat pris med sine egne regler – ikke til en erstatning for den proces, hvor matematikmiljøet fastslår korrekthed, prioritet eller varig betydning. En pris under Suns kriterier forpligter ikke Clay eller andre forskere til at betragte sagen som endeligt afgjort.
Hvorfor pengene ikke blev hentet
Omtalen af prisens register angav OpenAI som berettiget til at kræve beløbet, men ikke som en aktør, der faktisk havde gjort det. Rapporterne kædede det sammen med den uafklarede strid om bevisets oprindelse og med, at OpenAI på det tidspunkt ikke ville gå efter Clays pris. 8
9
Det gennemgåede materiale fastslår ikke en endelig, offentlig begrundelse fra OpenAI for at afvise eller udsætte kravet. Den forsigtige læsning er derfor, at det kan se ud som en erklæring om endelig sejr og prioritet at tage imod en privat pris, mens bevisets rækkevidde, oprindelse og kreditering stadig bestrides.
Striden om kredit er ikke et sidespor
Matematikeren Tristan Buckmaster fra New York University har beskyldt OpenAI for at have trukket på ikke-offentlig forskning. OpenAI bestrider beskyldningen, og den tilgængelige dækning fastslår ikke en uafhængig afgørelse af konflikten. 1
20
Nature har peget på, at sagen viser behovet for tættere samarbejde mellem AI-selskaber og forskningsmiljøet om kreditering og attribution. AI-systemer kan søge, kombinere og formalisere idéer i en skala, der er usædvanlig for mennesker, men det kan være svært at rekonstruere, hvor en konkret indsigt oprindeligt kom fra. 17
20
Det er ikke i sig selv et bevis for, at den formelle dokumentation er forkert. Men matematisk korrekthed og retten til kredit er to forskellige spørgsmål – og begge er afgørende, hvis resultatet skal stå som et gennembrud.
Den mest præcise status lige nu
OpenAIs påstand er opsigtsvækkende: Virksomheden rapporterer en konstruktion med singularitet på endelig tid i en væsentlig Navier–Stokes-formulering, fundet gennem et agentforløb i stor skala og ledsaget af Lean-formalisering. 6
18
19
Men resultatet bør endnu ikke kaldes en Clay-anerkendt løsning på et Millennium-problem. Suns millionpris var ifølge omtalen ikke indløst, Clays proces er både separat og langt langsommere, og krediteringsstriden er fortsat uafklaret. 1
8
9
20
De næste afgørende skridt er uafhængig faglig gennemgang af matematikken, nøje kontrol af at den formelle erklæring svarer til de tilsigtede problemkrav, og en troværdig afklaring af prioritet og ophav. Indtil da er den stærkeste beskrivelse et meget betydeligt AI-genereret matematisk krav med en maskinverificerbar komponent – ikke et endeligt konsensusresultat.
Studio Global AI
Continue your research
This page includes a source-backed answer you can continue inside Studio Global.
People also ask
What is the short answer to "Derfor lod OpenAI Justin Suns matematikpris på 1 mio. dollar stå urørt"?
OpenAI stod som berettiget vinder af Justin Suns toppris på 1 mio. dollar, men prisen var fortsat uafhentet 17.
What are the key points to validate first?
OpenAI stod som berettiget vinder af Justin Suns toppris på 1 mio. dollar, men prisen var fortsat uafhentet 17. OpenAI hævder at have vist et tvunget sammenbrud i Navier–Stokes ligningerne; det er ikke det samme som at have afgjort alle fortolkninger af Millennium problemet.
What should I do next in practice?
Clays særskilte pris kræver publicering, mindst to års ventetid og bred accept blandt matematikere, mens en krediteringskonflikt fortsat ikke er afgjort.
Sources
coinpost.aiJustin Sun launches $1 million math prize and names first winners
openai.comOn the Navier–Stokes Millennium Prize Problem
yellow.comOpenAI Leaves $1M Justin Sun Math Prize Unclaimed After Navier-Stokes Win | Yellow
yahoo.comOpenAI Rejects Another Math Prize, This Time Justin Sun's ...
nature.comDaily briefing: OpenAI claims a huge maths breakthrough