Recent breakthroughs, including multiple large language models like Claude Opus 5, OpenAI's GPT variants, and RedNote's dots-note-3.0 achieving perfect 42/42 scores or gold thresholds on IMO 2026 problems under independent grading, have accelerated capability demonstrations. However, traders price "No" at 77% due to strict market criteria around fully autonomous, contest-timed solutions without specialized scaffolding, plus historical variability in problem difficulty and the gap between benchmark results and consistent frontier performance. Key catalysts include 2025's gold-level AI scores narrowing the timeline yet highlighting remaining limits in rigorous proof generation at scale. Upcoming model releases and verification standards could shift sentiment if they meet exact resolution thresholds.
Resumo experimental gerado por IA com dados do Polymarket. Isto não é aconselhamento de trading e não tem qualquer papel na resolução deste mercado. · AtualizadoA IA ganha a medalha de ouro da IMO em 2026?
Sim
$10,014 Vol.
$10,014 Vol.
Sim
$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".
Mercado Aberto: 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 breakthroughs, including multiple large language models like Claude Opus 5, OpenAI's GPT variants, and RedNote's dots-note-3.0 achieving perfect 42/42 scores or gold thresholds on IMO 2026 problems under independent grading, have accelerated capability demonstrations. However, traders price "No" at 77% due to strict market criteria around fully autonomous, contest-timed solutions without specialized scaffolding, plus historical variability in problem difficulty and the gap between benchmark results and consistent frontier performance. Key catalysts include 2025's gold-level AI scores narrowing the timeline yet highlighting remaining limits in rigorous proof generation at scale. Upcoming model releases and verification standards could shift sentiment if they meet exact resolution thresholds.
Resumo experimental gerado por IA com dados do Polymarket. Isto não é aconselhamento de trading e não tem qualquer papel na resolução deste mercado. · Atualizado



Cuidado com os links externos.
Cuidado com os links externos.
Frequently Asked Questions