OpenAI’s September 2026 announcement of an AI-generated proof—produced by roughly 10,000 agents on an internal frontier model and formalized in Lean—claiming finite-time blowup for the forced 3D Navier-Stokes equations (resolving statements C and D) immediately shifted trader focus. CMI responded days later by labeling the problem “Active” and stating it “appears settled,” while stressing its deliberately unhurried evaluation process under longstanding rules that require peer-reviewed publication, broad community acceptance, and a two-year waiting period before any prize consideration. Ongoing scrutiny centers on whether the Lean formalization faithfully matches the natural-language argument and on credit disputes involving independent mathematician results on related forced equations. No official declaration or prize has followed, leaving sentiment anchored to the pace of independent verification and institutional caution rather than the initial claim.