OpenAI’s September 2026 announcement that an internal large language model, coordinating thousands of AI agents, produced a Lean-verified proof of a finite-time singularity in the three-dimensional Navier-Stokes equations has sharply shifted trader sentiment. The result directly resolves one of the remaining Millennium Prize Problems, following months of rapid AI-driven progress on advanced math benchmarks by both labs. OpenAI’s scale of compute, undisclosed frontier model, and explicit statements of further progress on additional problems reinforce its edge over Anthropic, whose researcher contributed to related Euler-equation work but has not matched the full claimed solution. With formal verification already public and OpenAI signaling ongoing attacks on the remaining problems, market-implied odds reflect the lab’s demonstrated momentum and resource commitment in this high-stakes technical race.