OpenAI’s September 8, 2026, release of a detailed analytical proof and Lean-formalized verification for a finite-time singularity under smooth forcing (Clay statements C and D) has solidified trader confidence that the company will not retract the result by year-end. The public GitHub repository and use of an internal model far more capable than GPT-6 Astra, backed by roughly 10,000 agents over 88 hours, provide a machine-checkable foundation that distinguishes this from unverified claims. Ongoing disputes center on research conduct, credit with external mathematicians, and possible indirect data influence rather than identified mathematical errors. While independent verification could still surface flaws or prompt a narrower clarification, the current skin-in-the-game consensus views outright retraction as unlikely given the formal outputs and OpenAI’s explicit decision not to pursue the Millennium Prize.