OpenAI’s September 8 announcement of an AI-generated proof for finite-time singularity in the Navier-Stokes equations, backed by a Lean formalization, has created a near-even market split around retraction risk. The result emerged from roughly 10,000 internal agents over 88 hours on an unreleased model, but it immediately drew scrutiny over priority claims from NYU’s Tristan Buckmaster and Anthropic’s Levent Alpöge, who released related forced-Euler work days earlier, plus questions about potential influence from customer data. OpenAI has denied improper access and declined to pursue the Millennium Prize. Traders are weighing the machine-verifiable formalization against the speed of the effort and unresolved independent peer review. Upcoming catalysts include detailed mathematician critiques of the 165-page manuscript and any Clay Institute response that could either solidify or undermine the claimed resolution.