OpenAI’s September 8, 2026 announcement that an unreleased internal model solved the Navier-Stokes existence and smoothness problem—one of the six remaining Millennium Prize Problems—using roughly 10,000 AI agents over 88 hours has sharply elevated trader expectations for additional breakthroughs. The company simultaneously published a Lean-formalized proof and explicitly declined to claim the $1 million prize, framing the result as evidence of rapid AI progress in mathematics. Subsequent October releases of hundreds of AI-generated papers have included results touching other unsolved Millennium Problems, such as the Riemann hypothesis, amid ongoing disputes with researchers like Tristan Buckmaster over attribution and data use. These verified capability jumps, combined with OpenAI’s stated intent to share further findings, underpin current market-implied odds while verification by the Clay Mathematics Institute and potential rival lab responses remain key near-term catalysts.