Recent OpenAI claims of an AI-driven proof resolving the Navier-Stokes equations—one of the Clay Mathematics Institute’s Millennium Prize Problems—have ignited trader interest, yet CMI’s September statement frames the development as “apparently settled” while stressing its deliberate, multi-year review. The institute requires peer-reviewed publication, broad community acceptance, and at least two years of scrutiny before declaring any problem solved or awarding the prize, echoing the cautious path that led to the sole prior resolution, the Poincaré conjecture. Parallel human-AI breakthroughs and ongoing formal verification add momentum, but the unhurried process and historical precedent suggest any official declaration remains distant, shaping market-implied odds around the timeline for full validation.