OpenAI’s September 2026 announcement of a Lean-formalized proof—generated by roughly 10,000 autonomous AI agents on an internal frontier model—showing finite-time singularity in the forced 3D Navier-Stokes equations (Clay statements C and D) immediately shaped trader views. The Clay Mathematics Institute responded days later by noting the problem appears “apparently settled” while stressing its deliberately slow, unhurried review for verification and credit assignment. As of early October 2026 the institute still lists the problem “active,” reflecting both the technical dispute over whether the forced case fully resolves the original formulation and the standard requirement for peer-reviewed publications before any official declaration. Multi-agent systems and formal verification tools have accelerated mathematical progress, yet CMI’s process and ongoing scrutiny of the AI-generated result keep near-term resolution odds low.