Recent OpenAI releases of hundreds of AI-generated mathematical manuscripts have driven trader sentiment, with internal models claiming partial advances on the Hodge conjecture for CM abelian varieties alongside mentions of Birch and Swinnerton-Dyer. These developments, building on the September 2026 Navier-Stokes resolution via agent swarms and Lean-verified proofs, position Hodge as the slight leader at 30.5% while the near-even "no solution by end-2027" share at 29.5% reflects skepticism over full resolutions amid technical barriers and verification hurdles. Birch at 22.5% benefits from similar coverage, whereas lower odds on Riemann, Yang-Mills, and P versus NP highlight fewer demonstrated breakthroughs and greater complexity. Upcoming model iterations and independent reviews of these claims could shift the tight consensus among these frontier problems.