Recent advances in frontier AI models, particularly OpenAI’s GPT-6 Astra and Anthropic’s Claude variants, have driven strong trader consensus toward near-term resolution of the “Yes” outcome. Epoch AI’s September 1 launch of FrontierMath Erdős saw Astra solve two of 68 previously open problems in Lean-verified proofs, while September reports confirmed saturation of the corrected Tier 4 benchmark and high-profile AI-assisted formalizations of results such as Fermat’s last theorem. These developments, alongside ongoing agent-based efforts on Millennium Prize problems, highlight accelerating research-level reasoning capabilities. Key upcoming catalysts include Epoch AI’s next updates to the Open Problems collection and any official verification of additional solutions before September 30 or year-end. Market-implied odds reflect traders’ assessment that continued scaling and tool use will likely produce another recognized solve soon.