🔬 research2026-09-11T00:00:00.000Z
OpenAI's Navier–Stokes Solution: 10,000 Agents, 88 Hours, Lean Formalization, and the Credit Controversy
On September 8, 2026, OpenAI announced that an internal model — significantly more capable than GPT-6 Astra — coordinated approximately 10,000 AI agents to produce a solution to the Navier–Stokes existence and smoothness problem, one of the seven Millennium Prize Problems. The proof shows that smooth 3D fluid motion can develop a singularity in finite time, formalized and verified in Lean 4. The announcement triggered immediate controversy over credit, with NYU mathematician Tristan Buckmaster alleging OpenAI accelerated its work after learning of his and Levent Alpöge's parallel research on related Euler equations.
#openai#navier-stokes#mathematics#multi-agent#lean#millennium-prize