Rapid progress in large language model reasoning drove the 70.5% market-implied probability for an AI gold medal at the 2026 International Mathematical Olympiad. In July 2025, Google DeepMind’s advanced Gemini Deep Think and an OpenAI experimental model both scored 35 out of 42 on the official IMO problems—exactly the gold cutoff—by solving five of six questions through enhanced chain-of-thought and formal verification techniques. This marked a clear jump from the prior year’s silver-equivalent results, fueled by reinforcement learning pipelines and model scaling. With the 2026 contest scheduled for July in Shanghai, traders expect further iterative releases and new high-quality math datasets to push performance above the cutoff, though novel problem design or evaluation disputes remain possible swing factors.
基于Polymarket数据的AI实验性摘要。这不是交易建议,也不影响该市场的结算方式。 · 更新于是
是
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".
市场开放时间: 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...Rapid progress in large language model reasoning drove the 70.5% market-implied probability for an AI gold medal at the 2026 International Mathematical Olympiad. In July 2025, Google DeepMind’s advanced Gemini Deep Think and an OpenAI experimental model both scored 35 out of 42 on the official IMO problems—exactly the gold cutoff—by solving five of six questions through enhanced chain-of-thought and formal verification techniques. This marked a clear jump from the prior year’s silver-equivalent results, fueled by reinforcement learning pipelines and model scaling. With the 2026 contest scheduled for July in Shanghai, traders expect further iterative releases and new high-quality math datasets to push performance above the cutoff, though novel problem design or evaluation disputes remain possible swing factors.
基于Polymarket数据的AI实验性摘要。这不是交易建议,也不影响该市场的结算方式。 · 更新于
警惕外部链接哦。
警惕外部链接哦。
常见问题