Recent perfect scores by systems like Huawei’s Celia and Xiaohongshu’s dots-note 3.0 on the official 2026 IMO problems—building directly on the 35/42 gold threshold first hit by Gemini Deep Think and OpenAI models in 2025—have highlighted rapid gains in large language model reasoning benchmarks. However, trader consensus heavily favors “No” because these results remain unofficial demonstrations rather than entries by an AI as a formal contestant under IMO rules and time limits. No major lab has announced plans for official participation by year-end, and historical precedent shows strict barriers to non-human entrants. Key near-term catalysts include any regulatory or organizational policy shifts on AI eligibility and further capability jumps ahead of the 2027 contest.
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 perfect scores by systems like Huawei’s Celia and Xiaohongshu’s dots-note 3.0 on the official 2026 IMO problems—building directly on the 35/42 gold threshold first hit by Gemini Deep Think and OpenAI models in 2025—have highlighted rapid gains in large language model reasoning benchmarks. However, trader consensus heavily favors “No” because these results remain unofficial demonstrations rather than entries by an AI as a formal contestant under IMO rules and time limits. No major lab has announced plans for official participation by year-end, and historical precedent shows strict barriers to non-human entrants. Key near-term catalysts include any regulatory or organizational policy shifts on AI eligibility and further capability jumps ahead of the 2027 contest.
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