OpenAI’s September 8, 2026 announcement of an AI-generated proof—produced by thousands of agents on an internal frontier model and formalized in Lean—demonstrating finite-time blowup for Navier-Stokes with a smooth external force triggered CMI’s September 11 statement that the Millennium Prize problem has “apparently been settled.” CMI immediately signaled a deliberately unhurried review under its standard rules, which require qualifying publication, broad community acceptance, and at least two years before prize consideration. The result remains labeled “active,” with no prize awarded, amid priority disputes involving human-AI collaborations on related Euler and Boussinesq equations. Traders are watching for peer-reviewed publication, expert consensus on whether the forced case fully resolves the stated problem, and any CMI updates on credit or acceptance that could accelerate or delay formal declaration.