Frontier AI systems have driven the 82.5% market-implied odds for an official win in 2026 after achieving gold-medal standard on the 2025 International Mathematical Olympiad. Google DeepMind’s advanced Gemini with Deep Think and an OpenAI experimental reasoning large language model each solved five of six problems under timed conditions, scoring 35 of 42 points with natural-language proofs verified by former medalists. These results reflect rapid gains in chain-of-thought reasoning, reinforcement learning, and verification techniques across o-series and GPT variants. With the 2026 IMO set for July in Shanghai and further model iterations expected, traders point to sustained benchmark acceleration as the core factor while acknowledging possible shifts in official rules or evaluation criteria.
基于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...Frontier AI systems have driven the 82.5% market-implied odds for an official win in 2026 after achieving gold-medal standard on the 2025 International Mathematical Olympiad. Google DeepMind’s advanced Gemini with Deep Think and an OpenAI experimental reasoning large language model each solved five of six problems under timed conditions, scoring 35 of 42 points with natural-language proofs verified by former medalists. These results reflect rapid gains in chain-of-thought reasoning, reinforcement learning, and verification techniques across o-series and GPT variants. With the 2026 IMO set for July in Shanghai and further model iterations expected, traders point to sustained benchmark acceleration as the core factor while acknowledging possible shifts in official rules or evaluation criteria.
基于Polymarket数据的AI实验性摘要。这不是交易建议,也不影响该市场的结算方式。 · 更新于
警惕外部链接哦。
警惕外部链接哦。
常见问题