CMI's September 11 statement described the Navier-Stokes existence and smoothness problem as "apparently settled" following OpenAI's September 8 release of an AI-generated proof establishing finite-time blowup for the forced equations (statements C and D in the official formulation), complete with Lean formalization. However, the institute stressed its deliberately unhurried evaluation process under prize rules requiring peer-reviewed publication, broad community acceptance, and a two-year waiting period before any award. As of early October, CMI continues listing the problem as active without declaring a solution or crediting authors, amid disputes over priority involving related human-AI work on the Euler equations. Traders focus on the gap between an apparent breakthrough and formal resolution, with no near-term catalysts evident for swift CMI action.