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

OpenAI says a coordinated fleet of about 10,000 AI agents produced a proof that three-dimensional Navier–Stokes equations can develop a finite-time singularity, using an internal model it describes as substantially more capable than GPT-6 Astra. The claim would mark a major milestone in AI-assisted mathematics, but the proof is not yet public for independent checking.