OpenAI’s September 8, 2026 announcement that an internal large language model directed 10,000 autonomous agents to produce a Lean-verified proof of a finite-time singularity in the Navier-Stokes equations—one of the six remaining Millennium Prize Problems—has sharply raised trader expectations for additional solutions. The effort, which consumed roughly 130 billion output tokens over 88 hours, followed rumors of parallel progress by Anthropic and NYU researchers and built on earlier AI-assisted math advances. OpenAI explicitly declined to claim the $1 million prize, framing the result as a benchmark of model capability rather than a formal resolution. In early October the lab released findings on more than 300 additional open problems, reinforcing perceptions of accelerating AI-driven mathematical discovery. Remaining barriers include independent verification by the Clay Mathematics Institute, potential timeline slips on harder conjectures, and competition from other labs scaling similar agent swarms.