OpenAI’s September 2026 announcement of a Lean-formalized proof that the forced Navier-Stokes equations can develop a finite-time singularity has anchored trader sentiment against retraction. The result, generated by an internal multi-agent system exceeding GPT-6 Astra capabilities, establishes Clay statements C and D through a verifiable vortex blow-up with finite energy. While a priority dispute with mathematicians Buckmaster and Alpöge and debate over forced versus unforced formulations continue, independent Lean verification and the absence of identified errors in the 166-page writeup support sustained confidence. Realistic challenges include later discovery of subtle proof gaps or Clay Institute clarification that could prompt OpenAI to qualify its claims, though current evidence points to durability through year-end.