Recent official benchmarks show multiple frontier models, including Claude Opus 5 and Chinese systems from Huawei, achieving perfect 42/42 scores on the 2026 IMO problems shortly after the July contest. However, trader consensus favoring "No" at 57% reflects the market's likely requirement for an AI system to earn an official gold medal through formal participation or verified real-time conditions rather than post-hoc benchmarks alone. Uneven performance on related evaluations like MIT's MathNet, where even top models average below 70% and struggle with visual or multilingual elements, underscores persistent gaps in robust mathematical reasoning. Key upcoming catalysts include any late official announcements from labs or IMO organizers that could clarify eligibility rules before resolution.
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
Sim
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 official benchmarks show multiple frontier models, including Claude Opus 5 and Chinese systems from Huawei, achieving perfect 42/42 scores on the 2026 IMO problems shortly after the July contest. However, trader consensus favoring "No" at 57% reflects the market's likely requirement for an AI system to earn an official gold medal through formal participation or verified real-time conditions rather than post-hoc benchmarks alone. Uneven performance on related evaluations like MIT's MathNet, where even top models average below 70% and struggle with visual or multilingual elements, underscores persistent gaps in robust mathematical reasoning. Key upcoming catalysts include any late official announcements from labs or IMO organizers that could clarify eligibility rules before resolution.
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