OpenAI’s September 2026 announcement of an AI-generated proof establishing finite-time singularity (blowup) for the forced three-dimensional Navier-Stokes equations—verified in Lean and addressing official alternatives C and D—prompted the Clay Mathematics Institute to state on September 11 that the problem appears settled. CMI emphasized its deliberately unhurried evaluation process under longstanding rules requiring peer-reviewed publication, broad community acceptance, and at least two years of scrutiny before any Millennium Prize consideration or formal declaration. A priority dispute involving human-AI collaborative work by Tristan Buckmaster and Levent Alpöge has added complexity, while the problem remains labeled “active” on CMI’s site with no prize awarded. Traders should monitor upcoming CMI updates and any journal submissions, as the two-year threshold and need for consensus create significant barriers to near-term resolution despite the breakthrough.