OpenAI’s September 2026 announcement that an internal swarm of roughly 10,000 AI agents solved the Navier-Stokes existence and smoothness problem—one of the remaining Millennium Prize Problems—has sharply raised expectations for additional breakthroughs. The result, verified in Lean and released alongside hundreds of other proofs in early October, built on prior human-AI work by researchers tied to Anthropic and NYU while sparking debate over credit and methodology. Rival labs including DeepMind continue advancing autonomous proof systems on related open problems, with competitive pressure centered on model scale, agent coordination, and formal verification speed. The Clay Mathematics Institute’s ongoing review and potential further releases by major labs remain key near-term catalysts that could shift trader views on the likelihood of another verified Millennium solution announcement.