OpenAI says a model more capable than GPT-6 Astra solved the Navier–Stokes Millennium Prize Problem

OpenAI announced that a model more capable than GPT-6 Astra has solved the Navier–Stokes Millennium Prize Problem. This achievement involved up to 10,000 AI agents working together for approximately 88 hours, producing roughly 165 pages of proof that were subsequently formally verified. This raises questions about whether AI agents are entering an era of making genuinely new mathematical discoveries.