OpenAI’s September 2026 announcement that an internal large language model coordinated roughly 10,000 AI agents to produce a Lean-formalized proof resolving key statements of the Navier-Stokes Millennium Prize Problem established strong trader consensus around rapid AI math progress. The effort, completed in 88 hours plus 17 hours of verification, followed rumors of concurrent human work by an Anthropic researcher and NYU mathematician, sparking credit disputes while highlighting multi-agent scaling and test-time compute. A subsequent October bulk release of hundreds of additional papers on open problems, including partial results toward other Millennium Prize questions, reinforced momentum. Key upcoming catalysts include Clay Mathematics Institute review timelines, independent Lean audits, and any further targeted announcements on remaining unsolved problems.