- About 10,000 coordinated AI agents, built on an unreleased next-generation model, solved the Navier–Stokes existence-and-smoothness problem—a Millennium Prize Problem in fluid dynamics
- The full proof, including a formal verification written in the Lean language, has been published
88 hours
Why it matters
Automated, agent-driven mathematical research is now producing concrete results, a strong signal that AI is becoming a practical tool for frontier research, not just a productivity aid.