OpenAI’s September 2026 claim of a Lean-formalized proof showing finite-time blowup for forced 3D Navier-Stokes equations triggered CMI’s September 11 statement that the problem appears “apparently settled.” However, the institute continues to list the problem as active and follows its standard rules: formal publication in a qualifying journal, broad community acceptance, and a minimum two-year scrutiny period before any prize consideration. Ongoing mathematician reviews, disputes over credit involving human researchers and AI training data, and the distinction between forced versus unforced cases keep near-term declaration unlikely. Traders should watch for peer-reviewed publication or further CMI updates on verification progress.