OpenAI announced an AI-generated solution to the Navier-Stokes Millennium Prize Problem, one of the seven most famous unsolved problems in mathematics. A swarm of 10,000 AI agents produced the result in roughly 88 hours, followed by 17 more hours of formal verification in the Lean proof system. If confirmed by the Clay Mathematics Institute, it would be only the second Millennium Problem ever solved — and the first by artificial intelligence.