AnswersPublished14 sources
OpenAI:s Navier–Stokes-påstående granskas – och debatten handlar om mer än beviset
OpenAI säger att ett ej offentliggjort internt system använde omkring 10 000 AI agenter i 88 timmar för att ta fram ett bevis för att ett tredimensionellt Navier–Stokes flöde kan utveckla en singularitet på ändlig tid. Påståendet har utlöst en tvist om prioritet och erkännande mellan OpenAI, NYU matematikern Tristan...
Publicerad avRedigerad med GPT-5.6 TerraBilder genererade med GPT Image 2
Research answer
Key takeaways
- OpenAI säger att ett ej offentliggjort internt system använde omkring 10 000 AI agenter i 88 timmar för att ta fram ett bevis för att ett tredimensionellt Navier–Stokes flöde kan utveckla en singularitet på ändlig tid.
- Påståendet har utlöst en tvist om prioritet och erkännande mellan OpenAI, NYU matematikern Tristan Buckmaster och Anthropic forskaren Levent Alpöge.
- Ett Lean formaliserat bevis är ett starkt underlag för kontroll, men det krävs fortfarande oberoende granskning av satsens räckvidd, antaganden och kopplingen till Clay Mathematics Institutes problemformulering.
- OpenAI har sagt att bolaget gjort ”betydande framsteg” på ett andra, ännu namnlöst Millennium Prize Problem.
AI Prompt
openai.comCreate a landscape editorial hero image for this Studio Global article: What did OpenAI reportedly claim about solving the Navier–Stokes existence and smoothness problem—specifically, its use of roughly 10,000 AI. Article summary: OpenAI’s claim is consequential but remains unverified: it said an unreleased internal model, deployed as roughly 10,000 semi-autonomous agents, produced a formalized Navier–Stokes proof in 88 hours. The Clay Mathematics. Topic tags: general, news, general web, user generated, academic. 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
OpenAI:s påstådda resultat om Navier–Stokes-ekvationerna vore en milstolpe om det håller för matematisk granskning. Bolaget säger att ett ej offentliggjort internt system samordnade omkring 10 000 agenter under 88 timmar och producerade både ett analytiskt bevis och en Lean-formalisering. Resultatet ska visa att en initialt jämn vätskerörelse kan utveckla en singularitet på ändlig tid. Men ett publicerat underlag och ett formellt kontrollerat bevis är inte samma sak som oberoende acceptans från forskarsamhället. 1
4
Vad OpenAI säger sig ha visat
Navier–Stokes-problemet om existens och jämnhet handlar, i en av sina formuleringar, om huruvida jämna tredimensionella vätskeflöden kan bryta samman på ändlig tid. OpenAI hävdar att dess resultat etablerar just möjligheten till ett sådant sammanbrott: under de angivna villkoren kan dynamiken utveckla en singularitet på ändlig tid. 4
Bolaget har släppt ett skrivet bevis och en formalisering i Lean. Rapporteringen beskrev manuskriptet som 166 sidor långt och systemet som en ej offentliggjord modell med omkring 10 000 samtidiga agenter under 88 timmar. 3
1
Här är skillnaden avgörande. Lean kan kontrollera att ett kodat bevis följer från angivna definitioner och antaganden. Men forskare måste fortfarande bedöma om den formella satsen motsvarar det avsedda matematiska problemet, om både den analytiska argumentationen och formaliseringen är fullständiga och om antagandena är relevanta. Vid den första rapporteringen hade Clay Mathematics Institute – organisationen bakom Millennium Prize Problems – inte oberoende godtagit påståendet. 1
Varför beskedet blev en tvist om erkännande
Det matematiska anspråket följdes av en konflikt om prioritet och forskningssed. Tristan Buckmaster vid New York University och Levent Alpöge, forskare vid Anthropic, hade arbetat med närliggande frågor inom fluiddynamik. Buckmaster anklagade OpenAI för att ha fått kännedom om deras angreppssätt och därefter skyndat på sitt eget arbete. Han lyfte också frågor om vem som ska få erkännande.
OpenAI har förnekat att bolagets forskare eller agenter sett duons arbete innan det blev offentligt. Rapporteringen tyder också på att resultaten var besläktade snarare än visat identiska. Kärnpåståendet är därför fortfarande olöst: det är en allvarlig offentlig anklagelse, inte ett fastslaget faktum.
Debatten kan alltså inte reduceras till frågan om ett AI-system hittade korrekta ekvationer. Den handlar också om processer: hur ett företag får kännedom om en forskningslinje, om tidslinjen går att granska, hur närliggande bidrag ska tillskrivas och om slutna system verkligen kan undersökas meningsfullt av forskarsamhället.
Varför Lean inte avgjorde saken
Formella metoder höjer beviskraven avsevärt. Lean kontrollerar enskilda bevissteg i ett formellt språk och kan därmed upptäcka luckor som kan överleva i traditionell granskning. Att OpenAI har publicerat både en människoläsbar text och en formalisering ger matematiker material att inspektera. 4
Men formell verifiering täcker bara en del av den vetenskapliga bedömningen. Forskarsamhället måste fortfarande avgöra:
- Räckvidd: exakt vilken variant av Navier–Stokes-problemet beviset sägs lösa.
- Översättning: om den informella satsen, antagandena och den formella satsen verkligen stämmer överens.
- Nyhet och tillskrivning: vilka idéer som kommer från vem – och när.
- Förståelse: om beviset ger återanvändbara matematiska insikter, inte bara en kontrollerad härledning.
- Reproducerbarhet: om externa forskare kan granska, förklara och bygga vidare på arbetet.
Javier Gómez-Serrano beskrev situationen som en ”existentiell kris” för matematiken. Formuleringen speglar oron för att snabba AI-genererade resultat kan springa ifrån de vanliga mekanismerna för förståelse, verifiering, undervisning och erkännande.
Reaktionen mot en kapplöpning om matematiska genombrott
Kontroversen växte snabbt bortom detta enda bevis. Tjugofem Fieldsmedaljörer, däribland Terence Tao, skrev under en deklaration som varnade för att konkurrens mellan AI-bolag om svåra matematiska resultat kan skada både vetenskapen och utbildningen av framtida forskare. 17
Ett separat öppet brev från nuvarande och tidigare matematiker vid Caltech riktade sig mot OpenAI:s medverkan i ett planerat AI-evenemang om matematik. Brevet hade 771 undertecknare när det publicerades, enligt rapporteringen, och OpenAI drog senare tillbaka sitt sponsorskap för Caltech Mathathon.
Invändningarna var inte bara ett krav på att hålla AI borta från matematiken. Kritiken gällde snarare risken att proprietära system och PR-drivna kapplöpningar belönar rubriker framför öppet idéutbyte, korrekt erkännande och begriplig matematisk förklaring. Samma verktyg kan användas konstruktivt för exempelvis beviskontroll, utforskning av förmodanden, bättre framställningar och gemensamma formella bibliotek.
Är Hodgeförmodan nästa mål?
OpenAI uppgav enligt rapportering för The New York Times att bolaget gjort ”betydande framsteg” på ett annat Millennium Prize Problem, utan att ange vilket eller publicera något bevis. Det är gränsen för vad bolaget offentligt har bekräftat i underlaget här.
Hodgeförmodan har ofta nämnts som ett möjligt mål, och även Birch–Swinnerton-Dyer-förmodan har förekommit i spekulationerna. En rapport som hänvisar till en OpenAI-källa uppgav att anställda väntade sig framsteg kring Hodgeförmodan, men OpenAI har inte offentligt presenterat något Hodgebevis. Påståenden om att någon av förmodandena är löst bör därför behandlas som rykten, inte som matematiska resultat.
Det som avgör vad som händer härnäst
Det avgörande blir inte ännu ett tillkännagivande, utan oberoende granskning av det publicerade Navier–Stokes-materialet: sakkunnigas analys av argumentet, inspektion av Lean-projektet och dess beroenden samt klarhet om vilken exakt Clay-formulering som eventuellt har lösts.
Om OpenAI lägger fram ett nytt anspråk kring ett Millennium Prize Problem gäller samma måttstock. Ett övertygande resultat behöver en exakt sats, tillgängliga formella och informella underlag, en transparent redovisning av ursprung och tillräckligt med förklaring för att andra forskare ska kunna pröva och vidareutveckla idéerna. I AI-stödd matematik är korrekthet nödvändig – men även erkännande, öppenhet och mänsklig förståelse.
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:s Navier–Stokes-påstående granskas – och debatten handlar om mer än beviset"?
OpenAI säger att ett ej offentliggjort internt system använde omkring 10 000 AI agenter i 88 timmar för att ta fram ett bevis för att ett tredimensionellt Navier–Stokes flöde kan utveckla en singularitet på ändlig tid.
What are the key points to validate first?
OpenAI säger att ett ej offentliggjort internt system använde omkring 10 000 AI agenter i 88 timmar för att ta fram ett bevis för att ett tredimensionellt Navier–Stokes flöde kan utveckla en singularitet på ändlig tid. Påståendet har utlöst en tvist om prioritet och erkännande mellan OpenAI, NYU matematikern Tristan Buckmaster och Anthropic forskaren Levent Alpöge.
What should I do next in practice?
Ett Lean formaliserat bevis är ett starkt underlag för kontroll, men det krävs fortfarande oberoende granskning av satsens räckvidd, antaganden och kopplingen till Clay Mathematics Institutes problemformulering.