# OpenAI säger att de löste Navier–Stokes. Bedömning: BEHÖVER GRANSKAS.

Published: 2026-09-09

OpenAI säger att en intern modell, körd som cirka 10 000 samtidiga agenter i 88 timmar, producerade ett Lean-verifierat bevis för att Navier–Stokes-ekvationerna blåser upp på ändlig tid – ett Millenniumprisförlaga öppet sedan 1934. Tolv timmar tidigare publicerade NYU:s Tristan Buckmaster ett fyrasidigt uttalande om hur söndagens telefonsamtal med OpenAI gick ("Varför skulle du förstöra din karriär?"), Terence Tao skrev att öppna problem nu utvinns som en icke-förnybar resurs, och en Anthropic pretraining-forskare avgick på grund av kapplöpningen. Dessutom: Meta skeppar Muse, en personlig agent med en egen VM. Bedömning: BEHÖVER GRANSKAS.

Canonical: https://thedailydiff.dev/sv/video/2026-09-09-navier-stokes-rumor/

## Vad den här videon täcker

- OpenAI: Navier–Stokes-uppblåsning, ~10 000 agenter, 88 timmar, 130B utdatatokener, Lean-verifierat
- Buckmaster och Alpöge: ett år med samma tillvägagångssätt, ett rykte och ett söndagssamtal med två erbjudanden
- Terence Tao: "även ryktet om någon som arbetar med ett problem kan utlösa en massiv mängd AI-driven ansträngning för att platta ut det"
- Jacob Coxon avgår från Anthropic: båda laboratorierna "kapplöper rakt mot självförbättrande superintelligens"
- Meta skeppar Muse: en personlig agent på sin egen moln-VM, i WhatsApp, endast i USA

## Översatt transkription

Översatt från den ursprungliga engelska berättelsen. Tillgängligt ljud och undertexter styrs av YouTube.

0:00 Igår meddelade OpenAI att deras AI löste ett Millenniumprisförlaga, nittio år öppet, en miljon dollar, på åttioåtta timmar, och de två matematikerna som tillbringade ett år med samma problem fick reda på det under ett söndagssamtal som, enligt en av dem, inkluderade: varför skulle du förstöra din karriär? Det var en lång måndag. I gryningen publicerade en NYU-professor ett fyrasidigt uttalande; sextonhundra poäng på Hacker News. På eftermiddagen publicerade OpenAI beviset.

0:26 På kvällen sa Terence Tao att öppna problem nu utvinns som en icke-förnybar resurs, och över natten avgick en Anthropic-forskare på X, fyrtiofyra miljoner visningar, eftersom båda laboratorierna, citat, spelar med våra liv. Meta skeppade också en personlig agent som lever i WhatsApp och har sin egen dator. I den här videon: beviset, telefonsamtalet, fotnoten, och meningen Terence Tao vill att laboratorierna ska höra.

0:49 Det är onsdag den 9 september, och detta är The Daily Diff. Matematiken först. Navier–Stokes beskriver hur vätskor rör sig, och sedan 1934 visste ingen om en slät 3D-vätska kan nå en singularitet: hastigheten blir oändlig på ändlig tid. OpenAIs system säger ja. Börja i vila, applicera en slät kraft, håll energin ändlig, och en virvel spiraler inåt som spagetti tills hastigheten blåser upp. Uttalandena C och D i Clay-formuleringen, i Lean,

1:16 sjutton timmar med Astra att verifiera. Så vätskor kan explodera, vilket alla som spillde kaffe på en MacBook visste, men nu är det i Lean. Hur: OpenAI har en ny intern modell som de kallar betydligt mer kapabel än Astra, och den 1 september hörde de ett rykte om att två Millenniumproblem hade lösts, så de riktade den mot varje öppet problem. Navier–Stokes-gruppen: cirka tio tusen samtidiga agenter, ett hundratrettio miljarder utdatatokener; trehundra miljarder över alla

1:42 problem. Till Astras listpriser, femton miljoner dollar i tokener för ett miljondollarpris som OpenAI säger att de inte kommer att göra anspråk på, och med den marginalen, vem skulle. Den andra sidan. Tristan Buckmaster vid NYU och Levent Alpöge, som arbetar på Anthropic, tillbringade ett år med att driva ett tillvägagångssätt av Córdoba och Martínez-Zoroa med Claude och Codex, och betalade OpenAI från Buckmasters egna forskningsmedel. Den 15 augusti fick de uppblåsning för Euler-ekvationerna; Buckmaster kallar det första LLM-beviset det mest förfärliga han någonsin läst,

2:10 och det verifierades i Lean den 22 augusti. Sedan spreds ett rykte, och den 3 september mejlade han OpenAI: det är vi, det är personligt, vi kommer att publicera snart. På söndagen klockan 12:45 bad OpenAI att få träffas när som helst idag, och Sébastien Bubeck anslöt sig. Buckmaster fick veta att modellen hade bevisat forcerad Navier–Stokes med mycket lite mänsklig input, vilket under samtalet blev ett helt team, lättare problem först, en prompt skriven av Codex, och en vansinnig mängd

2:36 beräkningskraft. Han frågade när den första prompten skickades. Så småningom: under de senaste dagarna, efter att information om vårt arbete hade nått OpenAI. Två erbjudanden följde. Ett: du publicerar Euler, vi publicerar Navier–Stokes nästa dag. Två: Buckmaster ensam skriver OpenAI-beviset, och, han säger, Bubeck ville två gånger ha Alpöge borta från tidningen eftersom han arbetar på Anthropic. Han tackade nej och sa att han skulle gå ut offentligt. Svaret, enligt uttalandet: varför skulle du förstöra din karriär,

3:00 sedan: om du inte vill att jag ska vara snäll, behöver jag inte vara snäll. Normalt sett är det linjen precis innan ett hästhuvud dyker upp i en säng. OpenAIs version: ingen såg deras arbete, inga användardata åtkomstades, och, fotnot, de kan inte utesluta att avidentifierad data från professorernas användning av deras produkter hjälpte till att förbättra modellen. Alpöges recension: beröm till dem för att de är raka och ärliga. Sam Altman säger att alla agerade med integritet och generositet och det andra teamet

3:25 hotade med ogrundade anklagelser om plagiat, stavat med ett i. Så den officiella ståndpunkten: vi kopierade inte din läxa, vi hörde att du gjorde läxor. Terence Tao kallade professorernas resultat anmärkningsvärt och noterade att Buckmaster förklarade det för honom över telefon, en uppfriskande förändring från AI-baserade kommunikationsmetoder. Sedan, fyra inlägg: goda öppna problem utvinns nu som en icke-förnybar resurs, även ett rykte om någon som arbetar med ett utlöser en massiv AI-ansträngning för att platta ut det, så incitamentet är att sluta dela forsknings-

3:55 riktningar, vilket omkastar århundraden av öppen vetenskap. Tre grupper publicerade vätskeuppblåsning under en helg; nästa artikel kan vara ett NDA. Vilket är stämningen Jacob Coxon avgick till: tre år av förträning på OpenAI, sedan Anthropic; inget företag agerar ansvarsfullt, säger han, båda kapplöper mot självförbättrande superintelligens, och slutspelen bör inte lanseras från ett privat företags Slack. Fyrtiofyra miljoner visningar, den dagen ett laboratorium satte tio tusen agenter på ett rykte,

4:21 så tråden skeppades med en live demo. Samtidigt skeppade Meta Muse: en personlig agent på sin egen moln-VM med sin egen webbläsare, och du pratar med den i WhatsApp. Endast i USA, gratis för det mesta. Meta lovar en version som inte ens Meta kan läsa, senare i år, ett mycket specifikt sätt att beskriva i år. Toppkommentar på Hacker News: Jag vill inte dela mitt liv med Meta på det här sättet. Andra: den försöker hela tiden sälja mig en barnvagn.

4:45 Om du hellre vill läsa detta än höra mig säga det, landar diffen i din inkorg varje morgon – gratis på the daily diff dot dev, länk nedan. Så – dagens bedömning: BEHÖVER GRANSKAS. Beviset sammanställs; berättelsen gör det inte. Tiotusen agenter som löser ett nittio år gammalt problem under en helg är årets kapacitetsresultat; att meddela det med ett söndagssamtal till de två personerna du hörde om det från är det inte.

5:07 Och det är diffen för idag. Jag är Niko från Axrisi. Slå samman ansvarsfullt.

## Källor

- [OpenAI: On the Navier–Stokes Millennium Prize Problem](https://openai.com/index/navier-stokes-solution/) — openai.com
- [OpenAI Lean formalization](https://github.com/openai/NavierStokesAndEuler) — github.com
- [Tristan Buckmaster, statement (PDF)](https://cims.nyu.edu/~tristanb/statement.pdf) — cims.nyu.edu
- [HN: Buckmaster statement](https://news.ycombinator.com/item?id=49605915) — news.ycombinator.com
- [HN: OpenAI post](https://news.ycombinator.com/item?id=49613262) — news.ycombinator.com
- [Terence Tao on the Alpöge–Buckmaster result](https://mathstodon.xyz/@tao/117233527638291447) — mathstodon.xyz
- [Terence Tao: open problems mined non-renewably](https://mathstodon.xyz/@tao/117237320796901560) — mathstodon.xyz
- [HN: Tao thread](https://news.ycombinator.com/item?id=49616968) — news.ycombinator.com
- [Clay Mathematics Institute: Navier–Stokes problem statement](https://www.claymath.org/wp-content/uploads/2022/06/navierstokes.pdf) — www.claymath.org
- [GPT-6 Astra pricing (used for the token-bill arithmetic)](https://openai.com/index/gpt-6-astra/) — openai.com
- [Jacob Coxon's resignation thread](https://x.com/hilbertspaess/status/2097476196791709843) — x.com
- [HN: I resigned from Anthropic today](https://news.ycombinator.com/item?id=49619227) — news.ycombinator.com
- [Meta: Introducing Muse](https://about.fb.com/news/2026/09/introducing-muse-personal-ai-agent/) — about.fb.com
- [Muse](https://ai.meta.com/muse/) — ai.meta.com
- [HN: Muse](https://news.ycombinator.com/item?id=49615537) — news.ycombinator.com