# OpenAI zegt de Navier–Stokes-vergelijkingen te hebben opgelost. Oordeel: NEEDS REVIEW.

Published: 2026-09-09

OpenAI zegt dat een intern model, gedraaid als ongeveer 10.000 gelijktijdige agenten gedurende 88 uur, een Lean-geverifieerd bewijs heeft geproduceerd dat de Navier–Stokes-vergelijkingen in eindige tijd exploderen — een Millennium Prijs probleem dat sinds 1934 openstaat. Twaalf uur eerder publiceerde Tristan Buckmaster van NYU een vier pagina's tellende verklaring over hoe het zondagse telefoongesprek met OpenAI verliep ("Waarom zou je je carrière ruïneren?"), schreef Terence Tao dat open problemen nu worden ontgonnen als een niet-hernieuwbare bron, en nam een Anthropic-vooropleidingsonderzoeker ontslag vanwege de race. Ook: Meta lanceert Muse, een persoonlijke agent met zijn eigen VM. Oordeel: NEEDS REVIEW.

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

## Wat deze video behandelt

- OpenAI: Navier–Stokes explosie, ~10.000 agenten, 88 uur, 130B output tokens, Lean-geverifieerd
- Buckmaster en Alpöge: een jaar aan dezelfde aanpak, een gerucht, en een zondagsgesprek met twee aanbiedingen
- Terence Tao: "zelfs het gerucht dat iemand aan een probleem werkt, kan een enorme hoeveelheid AI-gestuurde inspanning teweegbrengen om het plat te slaan"
- Jacob Coxon neemt ontslag bij Anthropic: beide laboratoria "racen rechtstreeks naar zelfverbeterende superintelligentie"
- Meta lanceert Muse: een persoonlijke agent op zijn eigen cloud-VM, in WhatsApp, alleen in de VS

## Vertaald transcript

Vertaald vanuit de originele Engelse gesproken tekst. Beschikbare audio en ondertiteling worden beheerd door YouTube.

0:00 Gisteren kondigde OpenAI aan dat zijn AI een Millennium Prijs probleem heeft opgelost, negentig jaar open, één miljoen dollar, in achtentachtig uur, en de twee wiskundigen die een jaar aan hetzelfde probleem werkten, hoorden het tijdens een telefoongesprek op zondag dat, volgens een van hen, omvatte: waarom zou je je carrière ruïneren? Het was een lange maandag. Bij zonsopgang plaatste een NYU-professor een verklaring van vier pagina's; zestienhonderd punten op Hacker News. In de middag plaatste OpenAI het bewijs.

0:26 In de avond zei Terence Tao dat open problemen nu worden ontgonnen als een niet-hernieuwbare bron, en 's nachts nam een Anthropic-onderzoeker ontslag op X, vierenveertig miljoen keer bekeken, omdat beide laboratoria, citeer, gokken met ons leven. Ook lanceerde Meta een persoonlijke agent die in WhatsApp leeft en zijn eigen computer heeft. In deze video: het bewijs, het telefoongesprek, de voetnoot, en de zin die Terence Tao wil dat de laboratoria horen.

0:49 Het is woensdag 9 september, en dit is The Daily Diff. Eerst de wiskunde. Navier–Stokes beschrijft hoe vloeistoffen bewegen, en sinds 1934 wist niemand of een gladde 3D-vloeistof een singulariteit kan bereiken: snelheid die oneindig wordt in eindige tijd. Het systeem van OpenAI zegt ja. Begin in rust, pas een gladde kracht toe, houd de energie eindig, en een vortex spiralen naar binnen als spaghetti totdat de snelheid explodeert. Verklaringen C en D van de Clay-formulering, in Lean,

1:16 zeventien uur Astra om te verifiëren. Dus vloeistoffen kunnen exploderen, wat iedereen die koffie op een MacBook heeft gemorst wist, maar nu is het in Lean. Hoe: OpenAI heeft een nieuw intern model dat het aanzienlijk capabeler noemt dan Astra, en op 1 september hoorden ze een gerucht dat twee Millennium problemen waren opgelost, dus richtten ze het op elk openstaand probleem. De Navier–Stokes-groep: ongeveer tienduizend gelijktijdige agenten, honderddertig miljard output tokens; driehonderd miljard over alle

1:42 problemen. Tegen Astra-catalogusprijzen, vijftien miljoen dollar aan tokens voor een één miljoen dollar prijs die OpenAI zegt niet te zullen claimen, en met die marge, wie zou dat wel doen. De andere kant. Tristan Buckmaster van NYU en Levent Alpöge, die bij Anthropic werkt, hebben een jaar lang een aanpak van Córdoba en Martínez-Zoroa met Claude en Codex gepromoot, waarbij OpenAI betaald werd uit Buckmasters eigen onderzoeksfondsen. Op 15 augustus kregen ze een explosie voor de Euler-vergelijkingen; Buckmaster noemt het eerste LLM-bewijs het meest verschrikkelijke dat hij ooit heeft gelezen,

2:10 en het werd in Lean geverifieerd op 22 augustus. Toen verspreidde zich een gerucht, en op 3 september e-mailde hij OpenAI: wij zijn het, het is persoonlijk, we plaatsen het snel. Op zondag om 12:45 uur vroeg OpenAI om vandaag nog af te spreken, en Sébastien Bubeck sloot zich aan. Buckmaster werd verteld dat het model de gedwongen Navier–Stokes had bewezen met zeer weinig menselijke input, wat tijdens het gesprek een heel team werd, eerst gemakkelijkere problemen, een prompt geschreven door Codex, en een waanzinnige hoeveelheid

2:36 rekenkracht. Hij vroeg wanneer de eerste prompt was verzonden. Uiteindelijk: in de afgelopen dagen, nadat informatie over ons werk OpenAI had bereikt. Er volgden twee aanbiedingen. Eén: jullie plaatsen Euler, wij plaatsen Navier–Stokes de volgende dag. Twee: Buckmaster alleen schrijft het OpenAI-bewijs uit, en, hij zegt, Bubeck wilde Alpöge twee keer van het artikel hebben omdat hij bij Anthropic werkt. Hij weigerde en zei dat hij openbaar zou gaan. Het antwoord, volgens de verklaring: waarom zou je je carrière ruïneren,

3:00 daarna: als je niet wilt dat ik aardig ben, hoef ik niet aardig te zijn. Normaal gesproken de zin vlak voordat een paardenhoofd in een bed verschijnt. OpenAI's versie: niemand zag hun werk, er werden geen gebruikersgegevens geraadpleegd, en, voetnoot, ze kunnen niet uitsluiten dat geanonimiseerde gegevens van het gebruik van hun producten door de professoren hebben geholpen het model te verbeteren. Alpöge's recensie: complimenten dat ze eerlijk zijn geweest. Sam Altman zegt dat iedereen met integriteit en generositeit handelde en het andere team

3:25 dreigde met ongegronde beschuldigingen van plagiaat, gespeld met één i. Dus de officiële positie: we hebben jullie huiswerk niet gekopieerd, we hoorden dat jullie huiswerk maakten. Terence Tao noemde het resultaat van de professoren opmerkelijk en merkte op dat Buckmaster het hem telefonisch uitlegde, een verfrissende afwisseling van AI-gebaseerde communicatiemethoden. Daarna, vier posts: goede open problemen worden nu ontgonnen als een niet-hernieuwbare bron, zelfs een gerucht dat iemand eraan werkt, veroorzaakt een massale AI-inspanning om het plat te slaan, dus de prikkel is om geen onderzoeksrichtingen

3:55 meer te delen, wat eeuwen van open wetenschap omkeert. Drie groepen plaatsten vloeistofexplosie in één weekend; het volgende artikel is misschien een NDA. Dat is de stemming waarin Jacob Coxon ontslag nam: drie jaar vooropleiding bij OpenAI, daarna Anthropic; geen van beide bedrijven handelt verantwoordelijk, zegt hij, beide racen naar zelfverbeterende superintelligentie, en het eindspel mag niet worden gelanceerd vanuit de Slack van een privébedrijf. Vierenveertig miljoen keer bekeken, op de dag dat één lab tienduizend agenten op een gerucht zette,

4:21 dus de thread werd geleverd met een live demo. Ondertussen lanceerde Meta Muse: een persoonlijke agent op zijn eigen cloud-VM met zijn eigen browser, en je praat ermee in WhatsApp. Alleen in de VS, gratis voor de meeste dingen. Meta belooft later dit jaar een versie die zelfs Meta niet kan lezen, een zeer specifieke manier om dit jaar te beschrijven. Top Hacker News opmerking: Ik wil mijn leven niet zo delen met Meta. Tweede: het probeert me steeds een kinderwagen te verkopen.

4:45 Als je dit liever leest dan hoort, landt de 'diff' elke ochtend in je inbox — gratis op the daily diff dot dev, link hieronder. Dus — het oordeel van vandaag: NEEDS REVIEW. Het bewijs compileert; het verhaal niet. Tienduizend agenten die een negentig jaar oud probleem in een weekend oplossen, is het capabiliteitsresultaat van het jaar; het aankondigen met een zondags telefoongesprek met de twee mensen van wie je erover hoorde, is dat niet.

5:07 En dat is de 'diff' voor vandaag. Ik ben Niko van Axrisi. Verantwoord samenvoegen.

## Bronnen

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