Google DeepMind's Gemini Deep Think and OpenAI's experimental reasoning models achieved gold-medal standard performance on the 2025 International Mathematical Olympiad (IMO) problems—scoring 35 out of 42 points, equivalent to the top 8% of human contestants—propelling trader-implied odds to 78% for an AI gold in 2026. This one-year leap from AlphaProof's silver in 2024 underscores rapid advances in AI mathematical reasoning, blending large language models with formal verification systems to tackle olympiad-level proofs. Ongoing benchmarks like AIMO and recent releases, including Nemotron-Cascade in March 2026, reinforce scaling trends, though novel 2026 problems and official competition entry could introduce hurdles before the summer event.
Resumo experimental gerado por IA com dados do Polymarket · AtualizadoA IA ganha a medalha de ouro da IMO em 2026?
A 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...Google DeepMind's Gemini Deep Think and OpenAI's experimental reasoning models achieved gold-medal standard performance on the 2025 International Mathematical Olympiad (IMO) problems—scoring 35 out of 42 points, equivalent to the top 8% of human contestants—propelling trader-implied odds to 78% for an AI gold in 2026. This one-year leap from AlphaProof's silver in 2024 underscores rapid advances in AI mathematical reasoning, blending large language models with formal verification systems to tackle olympiad-level proofs. Ongoing benchmarks like AIMO and recent releases, including Nemotron-Cascade in March 2026, reinforce scaling trends, though novel 2026 problems and official competition entry could introduce hurdles before the summer event.
Resumo experimental gerado por IA com dados do Polymarket · Atualizado
Cuidado com os links externos.
Cuidado com os links externos.
Frequently Asked Questions