OpenAI’s October 6 release of 722 AI-generated math papers from an unreleased internal frontier model, including claimed progress on Navier-Stokes and a quasi-Riemann hypothesis variant, has accelerated trader expectations for major solves before year-end. The batch followed an earlier Navier-Stokes announcement and includes Lean-verified formalizations plus partial advances on other Millennium Prize problems, though mathematicians continue reviewing for full acceptance and some results face skepticism over exposition and novelty. Parallel work from systems like AlphaProof Nexus, which resolved multiple long-open Erdős problems, underscores broader capability gains in formal proof search. With only weeks left, resolution hinges on whether labs issue unqualified “solved” statements meeting Polymarket criteria by December 31, favoring problems like the Hodge Conjecture that already show recent momentum.