OpenAI’s September 8 announcement that an internal model solved the Navier-Stokes existence and smoothness problem—one of the six remaining Millennium Prize Problems—has become the central driver of trader sentiment. The company used roughly 10,000 AI agents running for 88 hours on an unreleased system more capable than GPT-6 Astra, producing both a written proof and a Lean formalization verifying a finite-time singularity in three-dimensional fluids. The timing sparked controversy after related work by NYU’s Tristan Buckmaster and Anthropic’s Levent Alpöge surfaced, prompting OpenAI to forgo claiming the $1 million prize while publishing the full proof for scrutiny. Traders are weighing the competitive pressure among labs to replicate the multi-agent approach against the Clay Institute’s multi-year verification process, which requires broad mathematical acceptance before any official resolution. Upcoming peer review and any follow-on claims from rivals could quickly shift implied probabilities.