OpenAI’s September 2026 announcement that its multi-agent AI system produced a Lean-verified proof of a finite-time singularity in the three-dimensional Navier-Stokes equations has driven recent trader attention, with the Clay Mathematics Institute quickly acknowledging the problem as “apparently settled.” CMI has not declared any Millennium Prize Problem solved, however, and continues to list Navier-Stokes as active while emphasizing its deliberately unhurried rules: a qualifying peer-reviewed publication, broad community acceptance, and at least two years of scrutiny before prize consideration. Credit disputes involving human researchers and OpenAI’s decision not to claim the award add uncertainty. Traders are watching for formal journal submissions, further independent verifications, or CMI updates that could clarify whether resolution timelines fit the market’s cutoff.