OpenAI's September 8, 2026 announcement of an AI-generated proof establishing finite-time singularity (blowup) for the forced three-dimensional Navier-Stokes equations, formalized in Lean, triggered CMI's September 11 statement that the problem has "apparently been settled." However, CMI continues to list the problem as active and has not declared a solution or awarded the Millennium Prize, citing its deliberate, unhurried rules that require peer-reviewed publication, broad mathematical community acceptance, and at least two years of scrutiny before any prize consideration. Priority disputes involving human researchers and competing AI labs, plus the result's reliance on external forcing (addressing only statements C and D), add uncertainty. Traders should watch for formal publications and expert consensus, as rapid declaration remains unlikely given historical precedent and CMI's process.