OpenAI’s September 8 announcement of an AI-generated proof—using thousands of agents on an internal model more capable than GPT-6 Astra—has created a tight 52% “No” market on retraction by year-end. The company published a detailed write-up and Lean formalization showing a forced singularity in smooth Navier-Stokes flows, satisfying key Clay statements, while explicitly declining the Millennium Prize. However, the timing overlaps with parallel Euler-equation progress by Tristan Buckmaster and Levent Alpöge, sparking disputes over possible indirect data influence and credit. Independent mathematicians are now scrutinizing the public repository, with any discovered gaps in the vortex construction or formalization likely to trigger retraction pressure before December 31.