Recent OpenAI announcements in early September 2026, using swarms of internal AI agents to produce a Lean-formalized proof of finite-time singularity (breakdown alternatives C and D) for the forced three-dimensional Navier-Stokes equations, prompted the Clay Mathematics Institute to state on September 11 that the problem appears “apparently settled.” CMI nevertheless retained the “active” label, stressed its deliberately unhurried verification process under official rules requiring peer-reviewed publication and at least two years of community acceptance, and has not awarded the Millennium Prize. Concurrent human-AI work by Tristan Buckmaster and Levent Alpöge on related Euler results sparked priority disputes, while experts note the result leaves the unforced existence and smoothness cases (A and B) unresolved. No further CMI updates or formal declarations have occurred as of mid-October 2026, leaving trader sentiment centered on the pace of rigorous scrutiny versus the technical scope of the claimed solution.