AnswersPublished20 sources
OpenAI:s Navier–Stokes-påstående: ett möjligt genombrott som fortfarande måste granskas
Den 8 september 2026 uppgav OpenAI att ett internt, ej offentliggjort system med omkring 10 000 samordnade agenter hade tagit fram ett 166 sidigt bevis och en Lean formalisering. Det påstådda exemplet utgår från en slät vätska i vila och en slät yttre kraft.
Publicerad avRedigerad med GPT-5.6 TerraBilder genererade med GPT Image 2
Research answer
Key takeaways
- Den 8 september 2026 uppgav OpenAI att ett internt, ej offentliggjort system med omkring 10 000 samordnade agenter hade tagit fram ett 166 sidigt bevis och en Lean formalisering.
- Det påstådda exemplet utgår från en slät vätska i vila och en slät yttre kraft. En virvel dras inåt och sträcks ut, tills hastigheten blir obegränsad på ändlig tid medan den totala energin förblir ändlig.
- En Lean formalisering kan maskinellt kontrollera ett exakt kodat bevis, men oberoende matematiker måste fortfarande avgöra om det kodade påståendet verkligen motsvarar Clay institutets problemformulering.
AI Prompt
openai.comCreate a landscape editorial hero image for this Studio Global article: What did OpenAI announce on September 8 about an unreleased AI system’s purported 166-page, Lean-formalized proof that the three-dimensional. Article summary: On September 8, OpenAI said an unreleased internal model, deployed through roughly 10,000 coordinated agents, had produced a 166-page analytical proof and a Lean formalization showing a finite-time singularity for a thre. Topic tags: general, general web, user generated. 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, charts with fa
OpenAI:s besked den 8 september är ett av de mest långtgående påståendena hittills i skärningspunkten mellan AI och matematik. Företaget säger att ett internt system har tagit fram både ett analytiskt bevis och en formalisering i bevisassistenten Lean för att en tredimensionell inkompressibel Navier–Stokes-strömning kan utveckla en singularitet på ändlig tid. Ett 166 sidor långt manus och formaliseringen har publicerats. 10
18
27
Det skulle kunna innebära en lösning på Clay Mathematics Institutes Millenniumproblem om Navier–Stokes-ekvationernas existens och släthet. Men ett publicerat anspråk är inte samma sak som att matematiksamhället har godtagit beviset – och det är inte heller samma sak som att prissumman har delats ut.
Vad OpenAI säger sig ha visat
Konstruktionen börjar enligt OpenAI med en slät vätska som står stilla och påverkas av en slät yttre kraft. Strömningen utvecklar då en virvel som spiralar inåt samtidigt som den sträcks ut allt mer. Vid en ändlig tidpunkt uppstår en singularitet: vätskans hastighet blir obegränsad, trots att den totala energin fortfarande är ändlig. 10
44
Det är en avgörande skillnad. Frågan är inte om en datorsimulering kan visa en extremt snabb virvel, utan om ekvationerna tillåter en lösning som är slät och har ändlig energi men ändå förlorar sin släthet på ändlig tid. OpenAI:s uppgivna resultat är ett särskilt konstruerat exempel som ska visa just denna möjlighet under slät yttre påverkan. 10
Därför kan det beröra ett Millenniumproblem
Clay Mathematics Institutes officiella problemformulering medger flera sätt att lösa frågan. I grova drag kan man antingen visa att lösningarna alltid förblir släta, eller ge ett motexempel där slätheten bryter samman.
OpenAI säger att dess konstruktion uppfyller alternativen C och D i Clays formulering: motexempel som innebär att slätheten kan gå förlorad på ändlig tid, även i ett fall med slät yttre kraft. 10
17
Om beviset håller och den formaliserade satsen motsvarar den officiella uppgiften exakt, skulle det visa att allmän global släthet inte gäller i den aktuella miljön. Clay beskrev beskedet som en uppenbar lösning, men betonade samtidigt att det matematiska samfundet måste utvärdera resultatet. 18
Omkring 10 000 agenter och 88 timmar
Rapporteringen om tillkännagivandet beskrev omkring 10 000 autonoma agenter som kördes på en avancerad OpenAI-modell som inte har släppts offentligt. OpenAI uppgav att systemet samordnade agenter för att skapa både den vanliga matematiska framställningen och Lean-formaliseringen. Andra uppgifter beskriver en körning på 88 timmar. 10
12
2
Det viktiga är att resultatet inte har presenterats som ett AI-förslag eller ett numeriskt experiment. Påståendet är att systemet producerade både ett fullständigt analytiskt resonemang och en maskinkontrollerbar representation av det.
Vad Lean bekräftar – och inte bekräftar
Lean är en bevisassistent. Den kontrollerar om en sats följer från tydligt angivna definitioner, axiom och tidigare formaliserade resultat. Om Lean accepterar beviset minskar det kraftigt risken för vanliga logiska fel rad för rad i just den kodade argumentationen. OpenAI har publicerat formaliseringen tillsammans med manuset. 10
Men den maskinella kontrollen lämnar fortfarande centrala frågor till mänskliga experter:
- Är den kodade satsen exakt samma påstående som det avsedda Navier–Stokes-resultatet?
- Överensstämmer antagandena och definitionerna med Clays officiella formulering?
- Har varje väsentligt steg i den analytiska konstruktionen fångats korrekt i formaliseringen?
Lean är alltså ett ovanligt starkt verktyg för verifiering, men inte en automatisk ersättning för matematisk tolkning, expertgranskning och acceptans.
Ingen omedelbar revolution för flyg, väder eller rörflöden
Även om konstruktionen visar sig korrekt innebär den inte att luft runt flygplan, turbulent flöde i rör, vädersystem eller blodflöde snart kommer att utveckla bokstavligen oändliga hastigheter. Scenariot bygger på en särskilt utformad slät kraft och en mycket speciell virvelkonfiguration. Det visar en möjlighet inom ekvationerna, inte att vardagliga fysikaliska flöden typiskt utvecklas så. 10
44
Dessutom är Navier–Stokes-ekvationerna en kontinuerlig modell. På tillräckligt små skalor får molekylfysiken betydelse. En matematisk singularitet i modellen bör därför inte läsas som en prognos om verkligt oändlig hastighet i en fysisk vätska.
Den omedelbara betydelsen är främst matematisk och metodologisk: resultatet handlar om vad ekvationerna tillåter, inte om ett färdigt nytt verktyg för flygplanskonstruktion eller väderprognoser.
Tvist om prioritet och erkännande
Beskedet har också följts av en tvist om tidpunkt och erkännande. Tristan Buckmaster vid New York University och Levent Alpöge vid Anthropic hade kort före OpenAI:s publicering presenterat AI-assisterat och Lean-formaliserat arbete om närliggande resultat för framtvingad ändligtidsblåsning i fluidekvationer. Deras arbete byggde på en tidigare strategi som förknippas med Diego Córdoba och Luis Martínez-Zoroa. 1
2
5
Buckmaster och Alpöge har uttryckt oro för att OpenAI kan ha dragit nytta av kännedom om deras då opublicerade arbete eller tillkännagivande, och att presentationen inte i tillräcklig grad speglade de mänskliga idéer som föregick närliggande resultat. Underlaget visar att en prioritetskonflikt finns, men inte att kopiering har fastslagits. 1
13
Frågan pekar på ett större problem för AI-assisterad forskning: vem ska krediteras när ett resultat bygger på tidigare mänskliga idéer, forskare som formaliserar eller validerar argument, systemutvecklare och modeller som används i upptäcktsprocessen?
Varför mänsklig insikt fortfarande spelar roll
Ett giltigt bevis kan vara historiskt viktigt även om det har vuxit fram genom storskalig, tekniskt avancerad sökning. Samtidigt värdesätter matematiker förklaringar som visar varför ett fenomen uppstår, vilka idéer som kan återanvändas och hur beviset förändrar förståelsen av närliggande problem.
Där finns en spänning i AI-driven matematik. Många samordnade agenter kan hitta konstruktioner som människor inte förutsåg. Men om den avgörande idén är svår för människor att tolka kan resultatet ge mindre vägledning än ett kortare och mer förklarande bevis. OpenAI:s påstående blir därför ett test både av bevisets hållbarhet och av om AI kan bidra med varaktig matematisk förståelse.
Har miljonpriset delats ut?
Nej. OpenAI har sagt att företaget inte avser att göra anspråk på Millenniumpriset. Clays regler kräver att en föreslagen lösning publiceras i en godkänd publikation, att minst två år går efter publiceringen och att lösningen får allmän acceptans i det globala matematiksamhället innan institutet tar upp den till prövning. 10
27
I sitt uttalande den 11 september skrev Clay att problemet uppenbarligen hade lösts och att institutet följde tillkännagivandet tillsammans med matematikvärlden. Det är ett erkännande av anspråkets betydelse, inte ett slutligt avgörande. 18
Den mest träffsäkra beskrivningen just nu är därför enkel: OpenAI har publicerat ett anmärkningsvärt, maskinformaliserat anspråk om ändligtidsblåsning i tredimensionella Navier–Stokes-ekvationer. Dess slutliga status avgörs först när oberoende matematiker har bekräftat att både beviset och Lean-formaliseringen etablerar exakt den sats som påstås. 10
18
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: ett möjligt genombrott som fortfarande måste granskas"?
Den 8 september 2026 uppgav OpenAI att ett internt, ej offentliggjort system med omkring 10 000 samordnade agenter hade tagit fram ett 166 sidigt bevis och en Lean formalisering.
What are the key points to validate first?
Den 8 september 2026 uppgav OpenAI att ett internt, ej offentliggjort system med omkring 10 000 samordnade agenter hade tagit fram ett 166 sidigt bevis och en Lean formalisering. Det påstådda exemplet utgår från en slät vätska i vila och en slät yttre kraft. En virvel dras inåt och sträcks ut, tills hastigheten blir obegränsad på ändlig tid medan den totala energin förblir ändlig.
What should I do next in practice?
En Lean formalisering kan maskinellt kontrollera ett exakt kodat bevis, men oberoende matematiker måste fortfarande avgöra om det kodade påståendet verkligen motsvarar Clay institutets problemformulering.