Recent breakthroughs at the 2025 International Mathematical Olympiad have driven the 73.5% market-implied odds for an AI gold medal in 2026. Experimental general-purpose reasoning large language models from OpenAI and Google DeepMind both scored exactly 35 out of 42 points—matching the gold cutoff—by solving five of six problems under official contest rules. This one-point leap from DeepMind’s 2024 AlphaProof silver performance reflects advances in formal proof verification, reinforcement learning pipelines, and model scaling across frontier labs. With IMO 2026 scheduled for July in Shanghai, traders anticipate further iterative releases pushing scores higher, though factors like problem difficulty spikes or evaluation disputes could still influence outcomes.
Resumen experimental generado por IA con datos de Polymarket. Esto no es asesoramiento de trading y no influye en cómo se resuelve este mercado. · ActualizadoSí
Sí
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 abierto: 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 at the 2025 International Mathematical Olympiad have driven the 73.5% market-implied odds for an AI gold medal in 2026. Experimental general-purpose reasoning large language models from OpenAI and Google DeepMind both scored exactly 35 out of 42 points—matching the gold cutoff—by solving five of six problems under official contest rules. This one-point leap from DeepMind’s 2024 AlphaProof silver performance reflects advances in formal proof verification, reinforcement learning pipelines, and model scaling across frontier labs. With IMO 2026 scheduled for July in Shanghai, traders anticipate further iterative releases pushing scores higher, though factors like problem difficulty spikes or evaluation disputes could still influence outcomes.
Resumen experimental generado por IA con datos de Polymarket. Esto no es asesoramiento de trading y no influye en cómo se resuelve este mercado. · Actualizado
Cuidado con los enlaces externos.
Cuidado con los enlaces externos.
Preguntas frecuentes