AI Proof Claim for Navier-Stokes Millennium Problem
Listen to the latest briefing
Prefer to listen? Hit play — or read the full story below.
At a glance
claimed on September 8, 2026 that one of its AI systems proved the Navier-Stokes Millennium Problem, one of seven hardest maths problems designated by the in 2000 with a one-million-dollar prize. As of October 14, 2026, the claim remains unverified, with open questions about whether the problem is truly solved, what AI contributed, and what advances mean for mathematics, informed by University of Bath mathematician Chris Budd. The outcome matters for the AI industry's credibility in automating expert research and capturing high-stakes scientific value.
Story updates
2d agoLatest
OpenAI Claims AI Proved Navier-Stokes Millennium Problem
On September 8, 2026, OpenAI announced its AI system had proved the Navier-Stokes Millennium Problem, named by the Clay Mathematics Institute in 2000 as one of seven hardest maths problems with a one-million-dollar prize. An October 14, 2026 follow-up adds no new verified proof details, leaving open whether it is solved, what AI contributed, and featuring University of Bath mathematician Chris Budd on implications. The claim matters for AI credibility and automating high-value mathematical research, pending independent verification.
Stay on top of AI Proof Claim for Navier-Stokes Millennium Problem
You'll be notified here when this topic meaningfully develops.
Stream spatial intelligence