Recent AI advances, especially OpenAI’s September 2026 multi-agent system that produced a Lean-verified solution to the Navier-Stokes problem, have elevated market-implied odds for the Hodge Conjecture as the next target. Traders cite similar internal-model efforts yielding partial results on Hodge variants and Birch and Swinnerton-Dyer, alongside Anthropic progress on Riemann-related bounds, as evidence that large language models combined with formal verification are accelerating toward these conjectures. The tight race with “no solution by December 2027” at 34.5% reflects uncertainty over whether full, prize-eligible resolutions will arrive within the compressed 15-month window, given typical peer-review timelines and the remaining technical barriers in algebraic geometry and number theory.