OpenAI’s September 2026 announcement of an AI-generated proof—produced by roughly 10,000 agents and formalized in Lean—for a finite-time singularity in the forced 3D Navier-Stokes equations underpins the 94.5% market-implied odds against retraction by year-end. The machine-checked formalization and public release of both the writeup and Lean repository have withstood initial scrutiny, distinguishing it from the three error-ridden preprints withdrawn from OpenAI’s October batch of 722 manuscripts. While priority disputes with external mathematicians and questions about whether the forced case fully resolves the Clay problem persist, no credible flaw has emerged to prompt withdrawal. Realistic challenges remain if independent peer review uncovers a substantive gap in the vortex construction or if further internal audits reveal inconsistencies, though the timeline and verification level make such developments unlikely before December 31.