Recent OpenAI announcements in early September 2026, using swarms of AI agents to produce a Lean-formalized proof of finite-time singularity in forced three-dimensional Navier-Stokes equations, prompted the Clay Mathematics Institute to state on September 11 that the problem appears settled. CMI emphasized its deliberate, unhurried evaluation rules, which require journal publication, broad mathematical acceptance, and at least two years of scrutiny before any prize declaration or credit assignment. The institute continues to list the problem as active, with debate persisting over whether the forced case fully resolves the official Millennium formulation and amid credit disputes involving human researchers. Key near-term catalysts include independent verification efforts and any peer-reviewed publication.