Recent advances in large language model reasoning have driven sharp shifts in this market, yet trader consensus still favors “No” at 73% implied probability. Official IMO grading of 2026 problems in Shanghai confirmed perfect 42/42 scores from Huawei’s Celia and Xiaohongshu’s dots-note-3.0, with additional models such as Claude Opus 5 and SK Telecom’s A.X K2 reaching or exceeding the 29-point gold threshold under controlled conditions. These results build on 2025 gold-medal performances (35/42) by Gemini Deep Think and OpenAI systems. However, uncertainty persists around verification standards—official coordinator grading versus self-administered or agent-graded submissions—problem difficulty variation year to year, and whether models operated fully within contest rules without external tools. Upcoming clarification on market resolution criteria and any further independent audits remain the key near-term catalysts.
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...Recent advances in large language model reasoning have driven sharp shifts in this market, yet trader consensus still favors “No” at 73% implied probability. Official IMO grading of 2026 problems in Shanghai confirmed perfect 42/42 scores from Huawei’s Celia and Xiaohongshu’s dots-note-3.0, with additional models such as Claude Opus 5 and SK Telecom’s A.X K2 reaching or exceeding the 29-point gold threshold under controlled conditions. These results build on 2025 gold-medal performances (35/42) by Gemini Deep Think and OpenAI systems. However, uncertainty persists around verification standards—official coordinator grading versus self-administered or agent-graded submissions—problem difficulty variation year to year, and whether models operated fully within contest rules without external tools. Upcoming clarification on market resolution criteria and any further independent audits remain the key near-term catalysts.
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