OpenAI Claims AI Swarm of 10,000 Agents Cracked Major Unsolved Math Problem

OpenAI published a paper on September 8, 2026, claiming an unreleased AI system produced a proof for the Navier–Stokes existence and smoothness problem, one of seven Millennium Prize Problems carrying a $1 million reward since 2000. The system reportedly used a coordinated swarm of roughly 10,000 AI agents running in parallel, with different groups tackling the problem from multiple angles simultaneously. Researchers periodically extracted promising partial results and fed them back into the system to cross-pollinate ideas across separate reasoning threads. The entire effort spanned approximately 88 hours of agent work, followed by 17 additional hours to formalize and verify the proof using Lean, a mathematical proof-verification language. However, the paper comes with significant caveats, as the underlying AI model remains unreleased and independent expert scrutiny of the result is still ongoing.