OpenAI's September 2026 announcement of an AI-generated proof—produced by thousands of agents on an internal model and verified in Lean—established finite-time singularities for forced three-dimensional Navier-Stokes equations, covering Clay statements C and D. The Clay Mathematics Institute responded days later by labeling the problem "Active" and stating it had "apparently been settled," while emphasizing its deliberately unhurried evaluation process that requires peer-reviewed publication and credit assignment. Related human-AI work on Euler and Boussinesq equations by researchers including Tristan Buckmaster fueled credit disputes, and the unforced existence cases remain unresolved. Traders should watch for formal journal publication or CMI updates, as official Millennium Prize declaration hinges on these rigorous thresholds rather than the initial claim.