OpenAI’s September 8, 2026 announcement of a multi-agent AI system producing a Lean-formalized proof of finite-time singularity in forced three-dimensional Navier-Stokes equations triggered immediate attention, followed days later by the Clay Mathematics Institute noting the problem appears “apparently settled.” The result addresses specific blowup cases with external forcing but leaves the unforced version open, aligning with neighboring human-AI work from mathematicians like Tristan Buckmaster and Levent Alpöge. CMI’s unhurried review process requires peer-reviewed publication and at least two years of community acceptance before any formal declaration or prize consideration, keeping the problem listed as active. Traders are watching for further verification milestones, potential disputes over credit and training data, and whether additional AI-driven proofs accelerate resolution of remaining Millennium Problems.