OpenAI announces AI system solution to Navier–Stokes Millennium Prize Problem

An internal OpenAI multi-agent system produced an analytical proof and Lean formalization showing finite-time singularity formation in the 3D Navier–Stokes equations, resolving one of the Clay Mathematics Institute Millennium Prize Problems. The effort used ~10,000 concurrent agents, 2.7 million messages, and ~130 billion output tokens over ~88 hours, with formalization via GPT-6 Astra. This constitutes a demonstrated advance in AI mathematical reasoning and scientific discovery capability.