# OpenAI siger, at de løste Navier–Stokes. Vurdering: KRÆVER GENNEMGANG.

Published: 2026-09-09

OpenAI siger, at en intern model, kørt som omkring 10.000 samtidige agenter i 88 timer, producerede et Lean-verificeret bevis for, at Navier–Stokes-ligningerne blæser op i endelig tid – et Millennium Prize-problem åbent siden 1934. Tolv timer tidligere publicerede NYU's Tristan Buckmaster en fire-siders erklæring om, hvordan søndagsopkaldet med OpenAI forløb ("Hvorfor skulle du ødelægge din karriere?"), Terence Tao skrev, at åbne problemer nu udvindes som en ikke-fornybar ressource, og en Anthropic pretraining-forsker sagde op på grund af kapløbet. Også: Meta shipper Muse, en personlig agent med sin egen VM. Vurdering: KRÆVER GENNEMGANG.

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

## Hvad denne video dækker

- OpenAI: Navier–Stokes-opblæsning, ~10.000 agenter, 88 timer, 130 mia. output-tokens, Lean-verificeret
- Buckmaster og Alpöge: et år med samme tilgang, et rygte og et søndagsopkald med to tilbud
- Terence Tao: "selv rygtet om, at nogen arbejder på et problem, kan udløse en massiv AI-drevet indsats for at løse det"
- Jacob Coxon træder tilbage fra Anthropic: begge laboratorier "racer direkte mod selvforbedrende superintelligens"
- Meta shipper Muse: en personlig agent på sin egen cloud VM, i WhatsApp, kun USA

## Oversat udskrift

Oversat fra den originale engelske fortælling. Tilgængelig lyd og undertekster styres af YouTube.

0:00 I går annoncerede OpenAI, at deres AI løste et Millennium Prize-problem, åbent i halvfems år, en million dollars, på otteogfirs timer, og de to matematikere, der havde brugt et år på det samme problem, fandt ud af det på et søndagsopkald, der ifølge en af dem inkluderede: hvorfor ville du ødelægge din karriere? Det var en lang mandag. Ved daggry postede en NYU-professor en fire-siders erklæring; seksten hundrede point på Hacker News. Om eftermiddagen postede OpenAI beviset.

0:26 Om aftenen sagde Terence Tao, at åbne problemer nu udvindes som en ikke-fornybar ressource, og natten over trådte en Anthropic-forsker tilbage på X, fireogfyrre millioner visninger, fordi begge laboratorier er, citat, spiller hasard med vores liv. Desuden sendte Meta en personlig agent, der lever i WhatsApp og har sin egen computer. I denne video: beviset, telefonopkaldet, fodnoten, og sætningen Terence Tao ønsker, at laboratorierne skal høre.

0:49 Det er onsdag den 9. september, og dette er The Daily Diff. Først matematikken. Navier–Stokes beskriver, hvordan væsker bevæger sig, og siden 1934 har ingen vidst, om en glat 3D-væske kan ramme en singularitet: hastigheden går mod uendelig i endelig tid. OpenAI's system siger ja. Start i ro, anvend en glat kraft, hold energien endelig, og en hvirvel spiraler indad som spaghetti, indtil hastigheden blæser op. Sætninger C og D i Clay-formuleringen, i Lean,

1:16 sytten timers Astra til at verificere. Så væsker kan eksplodere, hvilket enhver, der spildte kaffe på en MacBook, vidste, men nu er det i Lean. Hvordan: OpenAI har en ny intern model, de kalder markant mere kapabel end Astra, og den 1. september hørte de et rygte om, at to Millennium-problemer var blevet løst, så de pegede den på alle åbne problemer. Navier–Stokes-gruppen: omkring ti tusind samtidige agenter, hundrede og tredive milliarder output-tokens; tre hundrede milliarder på tværs af alle

1:42 problemer. Til Astra's listepriser, femten millioner dollars i tokens for en million-dollar-præmie, som OpenAI siger, de ikke vil kræve, og med den margin, hvem ville. Den anden side. Tristan Buckmaster fra NYU og Levent Alpöge, der arbejder hos Anthropic, brugte et år på at presse en tilgang af Córdoba og Martínez-Zoroa med Claude og Codex, og betalte OpenAI fra Buckmasters egne forskningsmidler. Den 15. august fik de en opblæsning for Euler-ligningerne; Buckmaster kalder det første LLM-bevis det mest forfærdelige, han nogensinde har læst,

2:10 og det blev verificeret i Lean den 22. august. Så spredtes et rygte, og den 3. september sendte han en e-mail til OpenAI: det er os, det er personligt, vi poster snart. Søndag kl. 12:45 bad OpenAI om at mødes når som helst i dag, og Sébastien Bubeck sluttede sig til dem. Buckmaster fik at vide, at modellen havde bevist tvungne Navier–Stokes med meget lidt menneskelig input, hvilket i løbet af opkaldet blev et helt team, lettere problemer først, en prompt skrevet af Codex, og en vanvittig mængde

2:36 beregningskraft. Han spurgte, hvornår den første prompt blev sendt. Til sidst: inden for de sidste par dage, efter at information om vores arbejde havde nået OpenAI. To tilbud fulgte. Et: du poster Euler, vi poster Navier–Stokes dagen efter. To: Buckmaster alene skriver OpenAI-beviset, og, han siger, Bubeck ville to gange have Alpöge fjernet fra papiret, fordi han arbejder hos Anthropic. Han afslog og sagde, at han ville gå offentligt. Svaret, ifølge erklæringen: hvorfor skulle du ødelægge din karriere,

3:00 derefter: hvis du ikke vil have, at jeg er flink, behøver jeg ikke at være flink. Normalt linjen lige før et hestehoved dukker op i en seng. OpenAI's version: ingen så deres arbejde, ingen brugerdata blev tilgået, og, fodnote, de kan ikke udelukke, at de-identificerede data fra professorernes' brug af deres produkter hjalp med at forbedre modellen. Alpöges anmeldelse: ros til dem for at være ærlige. Sam Altman siger, at alle handlede med integritet og generøsitet, og det andet team

3:25 truede med ubegrundede beskyldninger om plagiat, stavet med et i. Så den officielle holdning: vi kopierede ikke jeres lektier, vi hørte, I lavede lektier. Terence Tao kaldte professorernes resultat bemærkelsesværdigt og bemærkede, at Buckmaster forklarede det til ham over telefonen, en forfriskende ændring fra AI-baserede kommunikationsmetoder. Derefter fire indlæg: gode åbne problemer udvindes nu som en ikke-fornybar ressource, selv et rygte om, at nogen arbejder på et, udløser en massiv AI-indsats for at løse det, så incitamentet er at stoppe med at dele forskningsretninger,

3:55 hvilket vender århundreder med åben videnskab. Tre grupper postede væske-opblæsning på en weekend; det næste papir kan være en NDA. Hvilket er den stemning Jacob Coxon trådte tilbage i: tre års pretraining hos OpenAI, derefter Anthropic; ingen af virksomhederne handler ansvarligt, siger han, begge racer mod selvforbedrende superintelligens, og slutmålet bør ikke iværksættes fra et privat firmas Slack. Fyrre-fire millioner visninger, den dag et laboratorium satte ti tusind agenter på et rygte,

4:21 så tråden blev sendt med en live demo. Imens sendte Meta Muse: en personlig agent på sin egen cloud VM med sin egen browser, og du taler til den i WhatsApp. Kun USA, gratis for de fleste ting. Meta lover en version, som selv Meta ikke kan læse, senere i år, en meget specifik måde at beskrive dette år på. Top Hacker News-kommentar: Jeg ønsker ikke at dele mit liv med Meta på denne måde. Anden: den bliver ved med at prøve at sælge mig en barnevogn.

4:45 Hvis du hellere vil læse dette end høre mig sige det, lander diff'en i din indbakke hver morgen – gratis på the daily diff dot dev, link nedenfor. Så – dagens dom: KRÆVER GENNEMGANG. Beviset kompilerer; historien gør ikke. Ti tusind agenter, der løser et halvfems år gammelt problem på en weekend, er årets kapacitetsresultat; at annoncere det med et søndagsopkald til de to personer, du hørte om det fra, er det ikke.

5:07 Og det er diff'en for i dag. Jeg er Niko fra Axrisi. Flet ansvarligt.

## Kilder

- [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