OpenAI just used 10,000 AI agents to solve a Millennium Prize Problem in 4 days. Navier-Stokes. Unsolved since the 1930s. An actual open problem in fluid dynamics that's stumped mathematicians for 90 years. The numbers are absurd: – 10,000 concurrent agents – 88 hours to the proof – 130 billion output tokens – 2.7 million messages – Verified formally in Lean They ran competing agent groups on different framings of the problem, merged their best insights with Codex, re-seeded, and…

OpenAI@OpenAISep 8

We’re sharing a solution to the Navier-Stokes Millennium Prize Problem, one of the deepest problems at the frontier of mathematics. The proof was produced by a group of agents, using an OpenAI next-generation model significantly more capable than GPT-6 Astra. The problem concerns whether the description of smooth three-dimensional fluid motion modeled by the Navier-Stokes equations can break down. It has remained unresolved for roughly 90 years.