OpenAI Math Claim Puts AI Agents at the Center of a Navier-Stokes Breakthrough Debate

OpenAI's claim that an internal AI system solved the Navier-Stokes Millennium Prize problem has turned a pure-math result into a test case for scientific credit, verification and the role of automated agents in discovery. The company says the proof was produced by about 10,000 agents in 88 hours, then formalized and verified in Lean over another 17 hours using GPT-6 Astra.