Google DeepMind's Gemini with Deep Think and OpenAI's experimental reasoning large language model achieved gold-medal standard performance—scoring 35/42 points by solving five of six problems—on the 2025 International Mathematical Olympiad (IMO) benchmark, following their silver-level (28/42) result in 2024. This rapid leap in AI mathematical reasoning capabilities, verified under official IMO competition rules without external tools, drives the 69% market-implied probability for "Yes," reflecting trader consensus on continued scaling toward an official gold medal at IMO 2026. Ongoing progress in reinforcement learning and formal proof systems bolsters optimism, though harder problem sets or participation hurdles could temper outcomes ahead of the summer event.
Experimental AI-generated summary referencing Polymarket data. This is not trading advice and plays no role in how this market resolves. · UpdatedThe 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...Google DeepMind's Gemini with Deep Think and OpenAI's experimental reasoning large language model achieved gold-medal standard performance—scoring 35/42 points by solving five of six problems—on the 2025 International Mathematical Olympiad (IMO) benchmark, following their silver-level (28/42) result in 2024. This rapid leap in AI mathematical reasoning capabilities, verified under official IMO competition rules without external tools, drives the 69% market-implied probability for "Yes," reflecting trader consensus on continued scaling toward an official gold medal at IMO 2026. Ongoing progress in reinforcement learning and formal proof systems bolsters optimism, though harder problem sets or participation hurdles could temper outcomes ahead of the summer event.
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