Recent OpenAI announcements show its internal model, aided by roughly 10,000 AI agents, produced both an analytical proof and a Lean-formalized verification that certain smooth initial conditions for the Navier-Stokes equations develop a finite-time singularity. This directly addresses statements C and D in the Millennium Prize formulation and was released publicly on September 8, 2026, alongside a denial of using external researchers’ unpublished data. Trader sentiment remains near even because the Lean proof enables independent machine-checked scrutiny while the timing—days after related work by Buckmaster and Alpöge—has sparked priority and data-use concerns that could prompt expert re-examination. Key near-term catalysts include community audits of the public GitHub repository, statements from Clay Institute officials, and any identified gaps in the formalization before year-end.