OpenAI Says 10,000 AI Agents Produced a Navier-Stokes Millennium Proof

OpenAI said an internal AI system has produced a proof for the Navier-Stokes existence and smoothness Millennium Prize Problem, reporting that about 10,000 concurrent agents reached the result in 88 hours and that GPT-6 Astra took another 17 hours to verify it in Lean. The claim, if accepted by mathematicians and the Clay Mathematics Institute, would make one of mathematics' most famous open problems the latest frontier result attributed to large-scale AI agents.