Recent AI-driven breakthroughs have reshaped expectations around the Navier-Stokes Millennium Prize Problem. In early September 2026, OpenAI announced an AI-agent-generated proof, formalized in Lean, demonstrating finite-time singularities for the three-dimensional equations with a smooth external force—addressing specific alternatives in the official Clay formulation. The Clay Mathematics Institute responded on September 11 by stating the problem had “apparently been settled,” citing accelerating progress from new technologies, yet emphasized its deliberately unhurried evaluation process and ongoing updates. As of mid-October, CMI still lists the problem as active with no formal declaration or prize awarded. Priority disputes involving human mathematicians and competing labs, plus questions over whether the forced variant fully satisfies the unforced core statement, continue to influence trader assessments of near-term resolution.