Recent AI-driven breakthroughs have dominated trader focus on the Navier-Stokes Millennium Prize. In September 2026, OpenAI announced an internal system of 10,000 agents produced a Lean-verified proof of finite-time singularity (blowup) for a forced version of the equations, addressing Clay alternatives C and D. CMI responded days later by stating the problem “apparently has been settled” while stressing its deliberately unhurried review process, two-year scrutiny requirement, and continued “active” status with no prize awarded. Parallel human-AI work by Tristan Buckmaster and Levent Alpöge on related Euler and Boussinesq cases added competitive tension, amid disputes over credit and training data. Key near-term catalysts include formal publication, independent verification, and any CMI updates on whether the result meets the full existence-and-smoothness criteria.