Recent OpenAI AI agents solving the Navier-Stokes Millennium Prize Problem in September 2026, followed by hundreds of additional verified math results, has elevated expectations for progress on the remaining problems by late 2027. Hodge Conjecture leads at 30.5% implied probability amid reports of targeted OpenAI efforts, while the closely matched 29.5% on no solution by December 31, 2027, reflects uncertainty over formal verification timelines, Clay Institute scrutiny, and problem complexity. Birch and Swinnerton-Dyer sits at 24.5% due to number theory relevance, with lower odds on Riemann Hypothesis, Yang-Mills, and P versus NP tied to fewer confirmed lab priorities and greater perceived barriers for current large language models.