AnswersPublished21 sources
OpenAI har inte hämtat Navier–Stokes-priset på 1 miljon dollar
OpenAI stod som berättigad vinnare av Justin Suns Navier–Stokes pris på 1 miljon dollar, men hade enligt rapportering inte hämtat ut det den 17 september 2026. Ett Lean verifierat formellt bevis är starkt stöd för den sats som har kodats, men ersätter inte extern bedömning av att antaganden och problemformulering ex...
Publicerad avRedigerad med GPT-5.6 TerraBilder genererade med GPT Image 2
Research answer
Key takeaways
- OpenAI stod som berättigad vinnare av Justin Suns Navier–Stokes pris på 1 miljon dollar, men hade enligt rapportering inte hämtat ut det den 17 september 2026.
- Ett Lean verifierat formellt bevis är starkt stöd för den sats som har kodats, men ersätter inte extern bedömning av att antaganden och problemformulering exakt motsvarar Clay problemet.
- Tvisten handlar också om prioritet: matematikern Tristan Buckmaster har rest frågor om upphovet till arbetet, vilket OpenAI bestrider.
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 har enligt rapporteringen utsetts till vinnare av Justin Suns nya matematikpris på 1 miljon dollar, men har ännu inte gjort anspråk på pengarna. Det är betydelsefullt av ett skäl som går utöver själva prissumman: bolagets påstående handlar inte bara om att en AI har hittat ett bevis, utan också om hur formell verifiering, oberoende sakkunniggranskning, upphov och vetenskapligt erkännande ska fungera när AI bidrar till avancerad matematik. 3
6
8
9
Vad OpenAI säger sig ha visat
Den 8 september 2026 publicerade OpenAI en genomgång och en formalisering i Lean, ett system för maskinell kontroll av matematiska bevis. Bolaget uppger att ett internt system hittade ett analytiskt bevis för att en från början jämn vätska i vila kan utveckla en singularitet på ändlig tid om den påverkas av en jämn yttre kraft. 6
Det är en viktig precisering. I Clay Mathematics Institutes formulering gäller påståendet den så kallade vägen med ett framtvingat motexempel – fallen C och D. Det fastslår inte de oforcerade alternativen för global regularitet, fallen A och B. Därför kan rubriker om att Navier–Stokes-problemet är ”löst” bli missvisande: OpenAI beskriver en konstruktion där en yttre kraft leder till ett sammanbrott, inte en lösning av varje tolkning som allmänheten kan förknippa med problemet. 6
18
19
Omkring 10 000 AI-agenter arbetade med uppgiften
OpenAI uppger att det testade en intern modell som fortfarande tränades på problemet från den 28 augusti och skalade upp arbetet efter den 1 september. Enligt bolaget användes samordnade grupper av agenter med tillgång till kod och cachelagrat webbmaterial; Navier–Stokes-arbetet omfattade omkring 10 000 parallella agenter. 6
Rapporteringen anger att upptäcktsarbetet tog omkring 88 timmar. Därefter ska GPT-6 Astra ha ägnat ungefär 17 timmar åt att formalisera och kontrollera arbetet i Lean. OpenAI betonar dock att modellen som hittade resultatet var ett internt system som var avsevärt mer kapabelt än GPT-6 Astra. Astra kopplas alltså till formaliseringen och kontrollen, inte nödvändigtvis till den ursprungliga matematiska upptäckten. 6
8
Skillnaden är central. En Lean-kontroll kan ge mycket stark evidens för att en exakt formulerad sats följer ur de antaganden som kodats i systemet. Men den avgör inte ensam om den formella modellen fångar samtliga villkor i Clays problemformulering. Den ersätter heller inte matematikers oberoende bedömning av bevisets tolkning och räckvidd.
Varför Clays egen miljon inte har delats ut
Clay Mathematics Institutes Millennium Prize är skilt från Justin Suns pris. Den 11 september uppgav Clay att institutet utvärderade OpenAI:s tillkännagivande enligt sina etablerade regler och att processen medvetet är långsam. 1
Reglerna kräver att en föreslagen lösning publiceras i ett godkänt forum, att minst två år passerar efter publiceringen och att lösningen får brett erkännande i den globala matematikvärlden innan Clay ens kan överväga en prissumma.
Det praktiska läget är alltså tydligt: OpenAI har offentliggjort ett anspråk och material för formell verifiering, men Clay Mathematics Institute har inte erkänt resultatet som en Millennium Prize-lösning. Oberoende matematiker måste fortfarande granska det analytiska beviset, Lean-formaliseringen och om resultatet uppfyller rätt villkor i problemet. 1
6
Justin Suns pris har andra regler
Justin Sun presenterade den 16 september sitt pris som ett decentraliserat akademiskt belöningsprogram för genombrott inom grundläggande forskning och maskinell formell verifiering. Den första prisomgången omfattade 66 matematiska problem, och OpenAI:s påstådda Navier–Stokes-resultat fick topputmärkelsen på 1 miljon dollar. 3
14
Upplägget är bredare och snabbare än Clays. Det är utformat för maskinverifierbara bevis och sägs vara öppet för mänskliga forskare, AI-system och samarbeten mellan människa och AI. 4
14
Det gör det till ett privat pris med egna behörighetsregler – inte en ersättning för den process genom vilken matematikvärlden fastställer korrekthet, prioritet eller långsiktig betydelse. Att utses till vinnare enligt Suns regler innebär inte att Clay eller forskarsamhället måste betrakta frågan som slutligt avgjord.
Varför prissumman blev liggande
Enligt rapportering stod OpenAI som berättigad att hämta priset i prisets register, men hade inte gjort det. Rapporterna kopplade beslutet till den olösta tvisten om bevisets ursprung och till att OpenAI inte sökt Clays pris i detta skede. 8
9
OpenAI har inte offentligt fastslagit ett definitivt skäl till att bolaget avböjt eller skjutit upp anspråket i det underlag som finns här. Den försiktiga tolkningen är därför att ett accepterande av ett privat pris, medan bevisets räckvidd, ursprung och fördelningen av erkännande fortfarande är omtvistade, kan uppfattas som ett anspråk på slutgiltighet innan den vanliga professionella granskningen är klar.
Upphovstvisten är en separat men viktig fråga
Tristan Buckmaster, matematiker vid New York University, har hävdat att OpenAI:s arbete byggde på icke-offentlig forskning. OpenAI bestrider anklagelsen. Det tillgängliga materialet visar inte att frågan har avgjorts genom en oberoende utredning. 1
20
Nature har argumenterat för att AI-bolag behöver samarbeta tätare med forskarsamhället kring attribution och erkännande. I AI-assisterad matematik kan system söka, kombinera och formalisera idéer i mycket stor skala, samtidigt som det kan vara svårt att i efterhand spåra var en enskild avgörande insikt uppstod. 17
20
Det betyder inte att det formella beviset är fel. Men det understryker att korrekthet och erkännande är två olika frågor – och att båda spelar roll vid ett påstående som kan förändra ett stort matematiskt forskningsfält.
Slutsatsen just nu
OpenAI:s anspråk är anmärkningsvärt: bolaget rapporterar en konstruktion med singularitet på ändlig tid för en betydelsefull Navier–Stokes-formulering, framtagen med ett storskaligt system av AI-agenter och åtföljd av Lean-formalisering. 6
18
19
Men resultatet bör ännu inte beskrivas som en Clay-erkänd lösning på ett Millennium Prize-problem. Justin Suns pris på 1 miljon dollar uppgavs vara ohämtat, Clays utvärdering är en separat och långt långsammare process, och upphovstvisten är olöst. 1
8
9
20
Nästa avgörande steg är oberoende granskning av matematiken, noggrann kontroll av att den formella satsen motsvarar de avsedda problemvillkoren samt en trovärdig redogörelse för prioritet och författarskap. Fram till dess är den mest träffsäkra beskrivningen ett mycket betydelsefullt AI-genererat matematiskt anspråk med en maskinkontrollerbar komponent – inte ett resultat som redan har nått slutlig vetenskaplig konsensus.
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 "OpenAI har inte hämtat Navier–Stokes-priset på 1 miljon dollar"?
OpenAI stod som berättigad vinnare av Justin Suns Navier–Stokes pris på 1 miljon dollar, men hade enligt rapportering inte hämtat ut det den 17 september 2026.
What are the key points to validate first?
OpenAI stod som berättigad vinnare av Justin Suns Navier–Stokes pris på 1 miljon dollar, men hade enligt rapportering inte hämtat ut det den 17 september 2026. Ett Lean verifierat formellt bevis är starkt stöd för den sats som har kodats, men ersätter inte extern bedömning av att antaganden och problemformulering exakt motsvarar Clay problemet.
What should I do next in practice?
Tvisten handlar också om prioritet: matematikern Tristan Buckmaster har rest frågor om upphovet till arbetet, vilket OpenAI bestrider.
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