OpenAI Claims Agent-Produced Proof of Navier-Stokes Millennium Problem
sjgadler · x · 2026-09-09
OpenAI announced a solution to the Navier-Stokes Millennium Prize Problem — whether smooth three-dimensional fluid motion can break down, unresolved for roughly 90 years.
- The proof was produced by a group of agents running on an OpenAI next-generation model significantly more capable than "GPT-6 Astra"
- Commenters immediately noted the parallel to the opening of If Anyone Builds It, Everyone Dies: a super-advanced internal model given gobwods of compute to solve humanity's hardest math
If verified by mathematicians, it would mark a historic milestone for AI for mathematics.
More from Models
- Founder praises GPT Astra for faster reasoning and sharper interpersonal guidance — morganlai · 2026-09-09
- DeepSeek V4.1 Flash Vision Beta tested in 5 visual tasks: far better and cheaper than V4 — cheezeerd · 2026-09-09
- WaveNet turns 10: long-context autoregression a year before Transformers existed — teropa · 2026-09-09
- OpenAI Codex goes down, disrupting developer workflows — cyrus_zei · 2026-09-09
- Fchollet: Early expert verdict on AI-generated math proof candidate is "no" — fchollet · 2026-09-09
- Codex user: one project burned 70% of the 20x weekly limit in a week — jdjohnson · 2026-09-09