OpenAI’s September 2026 announcement of an AI-generated proof establishing finite-time blowup for the forced 3D incompressible Navier-Stokes equations under smooth external forcing, complete with Lean formalization, underpins the 94.5% market-implied odds against retraction by year-end. The result aligns with the Clay Institute’s statement C formulation, was produced via a large internal multi-agent system, and has withstood initial peer scrutiny despite priority disputes and minor discrepancies between the manuscript and verified code. Recent October reports of gaps in estimates and unrelated paper withdrawals highlight ongoing verification but have not invalidated the core formalization. Key catalysts ahead include any Clay Institute ruling or major independent counterexamples, though the computational verification and limited scope of the claim make full retraction unlikely before December 31.