OpenAI holds a 58% market-implied probability because its September 2026 resolution of the Navier-Stokes Millennium Prize Problem—achieved via thousands of autonomous AI agents running on an internal large language model and verified in Lean—demonstrated clear leadership in scaling AI for frontier mathematics. The effort, launched after rumors of progress by Anthropic researcher Levent Alpöge and NYU mathematician Tristan Buckmaster on related Euler equations, outpaced the rival collaboration and produced a formalized proof of finite-time singularity in under a week. Subsequent October releases of over 300 additional machine-generated results across number theory and logic have reinforced trader views of OpenAI’s superior compute allocation and agent orchestration. Key near-term catalysts include Clay Mathematics Institute scrutiny of the Navier-Stokes claim and any parallel Anthropic announcements on remaining problems.