Recent AI advances in mathematical reasoning, including OpenAI and Gemini Deep Think models reaching gold-medal thresholds of 35/42 on 2025 IMO problems and a reported perfect 42/42 score by a Chinese RedNote model on 2026 problems, have not shifted the "No" outcome to majority odds because traders remain skeptical of unofficial grading, best-of-n sampling, and lack of formal IMO participation under identical time and verification rules. Persistent gaps in robust, contest-compliant performance—highlighted by independent benchmarks where leading large language models still fail multiple problems—support the 65% implied probability for no official gold in 2026. Key upcoming catalysts include official IMO scoring releases and any verified formal entries that could resolve these verification concerns.
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...Recent AI advances in mathematical reasoning, including OpenAI and Gemini Deep Think models reaching gold-medal thresholds of 35/42 on 2025 IMO problems and a reported perfect 42/42 score by a Chinese RedNote model on 2026 problems, have not shifted the "No" outcome to majority odds because traders remain skeptical of unofficial grading, best-of-n sampling, and lack of formal IMO participation under identical time and verification rules. Persistent gaps in robust, contest-compliant performance—highlighted by independent benchmarks where leading large language models still fail multiple problems—support the 65% implied probability for no official gold in 2026. Key upcoming catalysts include official IMO scoring releases and any verified formal entries that could resolve these verification concerns.
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