OpenAI’s September 8 announcement of an AI-generated proof establishing statements C and D of the Navier-Stokes existence and smoothness problem, complete with a publicly verifiable Lean formalization, has anchored trader sentiment against retraction. The company deployed thousands of agents over 88 hours on an internal model exceeding GPT-6 Astra capabilities, then spent additional compute confirming the result, while explicitly declining the Millennium Prize. Emerging questions around priority with concurrent human-AI work by mathematicians at NYU and Anthropic, plus data-use concerns, have sparked debate but center on credit and methodology rather than outright invalidity. With independent verification now possible and no demonstrated errors in the core construction, the 87% “No” odds reflect consensus that the published artifact will stand through 2026 absent major new contradictions.