OpenAI holds a 60.5% market-implied edge in the race to deliver the next verified Millennium Prize solution, driven primarily by its September 8, 2026 announcement of a Navier-Stokes existence and smoothness result produced by an internal frontier model after an 88-hour, multi-agent run, followed by an early October release of 377 additional proofs spanning open problems in number theory, topology, and algebra. These outputs, many Lean-verified, demonstrate scaled capability on previously intractable conjectures and position OpenAI ahead of Anthropic’s recent formalizations of existing proofs like Fermat’s Last Theorem and incremental Riemann zeta bound improvements. Traders are weighing the pace of OpenAI’s internal model iterations and any Clay Institute review timelines against Anthropic’s multi-agent formalization strengths, with further model releases or verified claims likely to shift sentiment quickly.