OpenAI’s September 8 announcement of an internal multi-agent AI system producing a Lean-formalized proof that the 3D Navier-Stokes equations can develop a finite-time singularity under smooth forcing has driven the closely balanced 50.5% implied probability on retraction. The public write-up, PDF, and verified formalization lend credibility to the core claim and reduce immediate technical doubts, yet sharp controversy over timing and possible influence from Tristan Buckmaster and Levent Alpöge’s concurrent Euler-equation work—conducted partly on OpenAI tools—has raised priority and data-use questions that could prompt revisions or withdrawal. Traders are watching for independent mathematician verification, Clay Mathematics Institute statements, further OpenAI clarifications on model training, and any peer-review challenges that could tip sentiment toward retraction before year-end.