OpenAI’s September 8 announcement of a Lean-formalized proof establishing statements C and D of the Navier-Stokes existence and smoothness problem—produced by thousands of agents on an unreleased internal model—has anchored strong trader consensus against retraction. The result demonstrates finite-time singularity via a specific vortex configuration under smooth forcing, with public Lean files enabling independent verification and no immediate mathematical errors identified despite rapid scrutiny. Priority disputes with mathematicians Tristan Buckmaster and Levent Alpöge focus on credit and possible indirect influence rather than proof validity, while OpenAI has explicitly declined to claim the Millennium Prize. Key upcoming catalysts include peer review and any Clay Institute response, though a formal retraction would require the company to publicly invalidate its own verified work.