OpenAI Claims Agent-Generated Proof of Navier-Stokes Millennium Problem
soumitrashukla9 · x · 2026-09-09
OpenAI announced a solution to the Navier-Stokes Millennium Prize Problem, which concerns whether smooth three-dimensional fluid motion described by the equations can break down and has remained unresolved for roughly 90 years. The proof was produced by a group of agents running on an OpenAI next-generation model described as significantly more capable than GPT-6 Astra. The announcement ignited debate about AI labs scooping human mathematicians, with researchers noting the scooped publish less in top journals and get 21% fewer citations.
More from Models
- Meta's Muse Spark 1.3 Max hits 67.9% on CursorBench at $1.31/task, 4.3x cheaper than GPT-5.6 Sol Max — shuyanzh36 · 2026-09-09
- Leak: OpenAI internal model 'bel' reportedly solves ~2.5x more math problems than astra — imjustnewatai · 2026-09-09
- GPT-6-Astra Lands in Loop, the Debugging Tool Built on Codex — nikunjhanda · 2026-09-09
- 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
- GPT-6 Astra lands on Amazon Bedrock with 1M-token context and first Critical cyber rating — AWS ML Blog · 2026-09-09