OpenAI’s September 8 announcement of an AI-generated Navier-Stokes singularity proof, produced by thousands of internal agents and Lean-formalized in days, has split trader sentiment near even odds. The public write-up and machine-checked formalization provide credible evidence of a valid result on statements C and D, yet simultaneous accusations from NYU’s Tristan Buckmaster and Anthropic’s Levent Alpöge—centered on possible unauthorized use of their unpublished related work and model training data—have introduced material doubt. Mathematicians are now scrutinizing the repository while OpenAI denies improper access but cannot fully exclude indirect influence. Community verification, Clay Institute review, and any institutional response over the coming months will determine whether the solution stands or faces retraction before year-end.