**Frontier AI systems have already demonstrated gold-medal or perfect performance on the 2026 IMO problems, yet trader consensus heavily favors “No” at 75.5% because official competition rules limit entry to human contestants under 20.** Multiple models, including Huawei’s Celia and Xiaohongshu’s dots-note-3.0, received official IMO grading of 42/42 in July 2026 after the Shanghai event, while others such as Claude Opus 5 matched that score in independent evaluations—far exceeding the 2025 gold threshold of 35/42. These results reflect rapid gains in large language model reasoning, verification pipelines, and multi-agent orchestration on proof-based problems. However, AIs operate outside the formal contest structure with no mechanism for official medal awards or live participation, and no regulatory or organizational changes have altered eligibility criteria. Near-term catalysts remain limited to possible post-event policy discussions rather than immediate rule shifts.
Experimental AI-generated summary referencing Polymarket data. This is not trading advice and plays no role in how this market resolves. · Updated$10,014 Vol.
$10,014 Vol.
$10,014 Vol.
$10,014 Vol.
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".
Market Opened: 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...**Frontier AI systems have already demonstrated gold-medal or perfect performance on the 2026 IMO problems, yet trader consensus heavily favors “No” at 75.5% because official competition rules limit entry to human contestants under 20.** Multiple models, including Huawei’s Celia and Xiaohongshu’s dots-note-3.0, received official IMO grading of 42/42 in July 2026 after the Shanghai event, while others such as Claude Opus 5 matched that score in independent evaluations—far exceeding the 2025 gold threshold of 35/42. These results reflect rapid gains in large language model reasoning, verification pipelines, and multi-agent orchestration on proof-based problems. However, AIs operate outside the formal contest structure with no mechanism for official medal awards or live participation, and no regulatory or organizational changes have altered eligibility criteria. Near-term catalysts remain limited to possible post-event policy discussions rather than immediate rule shifts.
Experimental AI-generated summary referencing Polymarket data. This is not trading advice and plays no role in how this market resolves. · Updated


Beware of external links.
Beware of external links.
Frequently Asked Questions