OpenAI claims Navier-Stokes Millennium Prize solution from agent swarm on next-gen model
RexDouglass · x · 2026-09-09
OpenAI announced that a group of agents, powered by a next-generation model it says is significantly more capable than GPT-6 Astra, produced a solution to the Navier-Stokes Millennium Prize Problem — whether smooth 3D fluid motion can break down — open for roughly 90 years.
The timeline runs from Navier (1822) and Stokes (1845) through Leray's weak solutions (1934), Clay's $1M prize (2000), numerical Euler blowup (2014), Tao's averaged blowup proof (2016), Elgindi's rough-data Euler blowup (2021), and forced blowups by Córdoba & Martínez-Zoroa. This August, Buckmaster and Alpöge obtained smooth-forced blowup for Boussinesq and Euler with Claude and Codex, verified in Lean, before OpenAI announced the agent-produced proof of the full problem.
More from Models
- GPT-6 Astra is now available on AWS Bedrock — gabrielchua · 2026-09-09
- Dev dissects GPT-6 Astra's computer use loop, makes it 2.5x faster with Stagehand — TheMoonMidas · 2026-09-09
- Qwen3.8-Flash-Next runs 1M context locally on M5 Max at 40 tok/s via MLX-serve — Beamsters · 2026-09-09
- OpenAI's official GPT-6 Astra prompting guide: five changes to stop prompting it like GPT-5 — goyalshaliniuk · 2026-09-09
- OpenAI launches academic program, with a caveat: use at your own risk — lucacarlone1 · 2026-09-09
- A breakdown of the most popular GLiNER models for zero-shot NER — kalyan_kpl · 2026-09-09