OpenAI’s early October release of 722 AI-generated math papers, featuring a claimed proof of the Hodge Conjecture for CM abelian varieties alongside Lean formalizations, has positioned that problem as the frontrunner in trader sentiment. The near-tie with “no solution by end of 2027” reflects uncertainty over whether these special-case results will extend to the general conjecture or other Millennium problems within the tight timeline, given the need for independent verification and the historical pace of mathematical validation. Birch and Swinnerton-Dyer trails amid fewer recent AI claims, while Riemann Hypothesis and P versus NP show only incremental progress on related variants. Upcoming catalysts include Clay Institute reviews and further agent-based model releases from major labs.