OpenAI announced on September 8, 2026 that an internal AI system produced an analytical proof resolving the Navier-Stokes existence and smoothness problem, a Millennium Prize Problem. The system used a coordinating multi-agent setup with about 10,000 concurrent agents, consuming 130 billion output tokens for the final Navier-Stokes solution alone. Structurally, this demonstrates a frontier AI model achieving a breakthrough in pure mathematics that had resisted human mathematicians for 90 years.
82 other tracked developments touching the same claims.