Recent OpenAI announcements detail an internal multi-agent AI system generating a Lean-formalized proof of finite-time singularity (blowup) for forced 3D Navier-Stokes equations, satisfying Clay alternatives C and D. On September 11, 2026, the Clay Mathematics Institute responded that the problem appears settled while emphasizing its deliberately unhurried verification and credit process, updating the status to “active” without awarding the prize. Priority disputes involving related AI-assisted Euler and Boussinesq results by independent researchers add uncertainty, and the unforced global regularity case remains unresolved. CMI updates and any peer-reviewed journal acceptance represent the clearest near-term catalysts for formal declaration.