**Multiple frontier large language models have demonstrated gold-medal and perfect 42/42 performance on the official IMO 2026 problems shortly after the July contest in Shanghai, with Huawei’s Celia and Xiaohongshu’s dots-note-3.0 receiving official grading and several others (including Claude Fable 5 and GPT-5.6 Sol) verified independently at the same level.** Open-weight models such as DeepSeek V4 Flash have also cleared the 29-point gold threshold at very low cost, confirming broad capability gains in proof-based mathematical reasoning. Despite these results, the 82% market-implied probability on “No” reflects that the IMO remains a human student competition with strict eligibility rules for participants under age 20; AI systems solve problems post-contest rather than entering or being awarded medals alongside contestants. Traders therefore see limited near-term pathways for an AI to formally “win” under current rules, even as capability benchmarks continue advancing rapidly. Key upcoming catalysts include any official policy changes on AI participation or further 2026 contest results, though none appear imminent.
基于Polymarket数据的AI实验性摘要。这不是交易建议，也不影响该市场的结算方式。 · 更新于是
$10,014 交易量
$10,014 交易量
是
$10,014 交易量
$10,014 交易量
The resolution source is the IMO Grand Challenge (https://imo-grand-challenge.github.io/) and the Artificial Intelligence Math Olympiad (AIMO, https://aimoprize.com/). If either source demonstrates that an AI has won the challenge/prize before the resolution date, this market will resolve to "Yes".
市场开放时间： Nov 12, 2025, 5:08 PM ET
Resolver
0x65070BE91...The resolution source is the IMO Grand Challenge (https://imo-grand-challenge.github.io/) and the Artificial Intelligence Math Olympiad (AIMO, https://aimoprize.com/). If either source demonstrates that an AI has won the challenge/prize before the resolution date, this market will resolve to "Yes".
Resolver
0x65070BE91...**Multiple frontier large language models have demonstrated gold-medal and perfect 42/42 performance on the official IMO 2026 problems shortly after the July contest in Shanghai, with Huawei’s Celia and Xiaohongshu’s dots-note-3.0 receiving official grading and several others (including Claude Fable 5 and GPT-5.6 Sol) verified independently at the same level.** Open-weight models such as DeepSeek V4 Flash have also cleared the 29-point gold threshold at very low cost, confirming broad capability gains in proof-based mathematical reasoning. Despite these results, the 82% market-implied probability on “No” reflects that the IMO remains a human student competition with strict eligibility rules for participants under age 20; AI systems solve problems post-contest rather than entering or being awarded medals alongside contestants. Traders therefore see limited near-term pathways for an AI to formally “win” under current rules, even as capability benchmarks continue advancing rapidly. Key upcoming catalysts include any official policy changes on AI participation or further 2026 contest results, though none appear imminent.
基于Polymarket数据的AI实验性摘要。这不是交易建议，也不影响该市场的结算方式。 · 更新于
警惕外部链接哦。
警惕外部链接哦。
常见问题