**Frontier large language models have demonstrated gold-medal or perfect performance on the 2026 IMO problems through unofficial evaluations, yet trader consensus heavily favors “No” because no AI system has officially competed or received an IMO-awarded gold medal.** Multiple Chinese models, including Xiaohongshu’s dots-note-3.0 and Huawei’s Celia, plus systems from OpenAI, Anthropic, and others, reached 30–42/42 on the Shanghai problems under natural-language proof conditions, with some clearing the gold threshold at low cost. However, these remain independent benchmarks rather than official contest entries, and the IMO has not altered its human-only format or rules to include AI participants. Key upcoming catalysts include any formal regulatory or organizational decisions on AI eligibility before year-end, though historical patterns and current policy indicate such changes are unlikely in the remaining months.
Polymarketデータを参照したAI生成の実験的な要約。これは取引アドバイスではなく、このマーケットの解決方法には一切関係ありません。 · 更新日はい
5% 確率
$27,519 Vol.
$27,519 Vol.
2026/12/31
はい
5% 確率
$27,519 Vol.
$27,519 Vol.
2026/12/31
This market will resolve to "Yes" if any AI gets a gold medal in the International Math Olympiad between January 1, 2026 and December 31, 2026, 11:59 PM ET. Otherwise this market will resolve to "No."
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".**Frontier large language models have demonstrated gold-medal or perfect performance on the 2026 IMO problems through unofficial evaluations, yet trader consensus heavily favors “No” because no AI system has officially competed or received an IMO-awarded gold medal.** Multiple Chinese models, including Xiaohongshu’s dots-note-3.0 and Huawei’s Celia, plus systems from OpenAI, Anthropic, and others, reached 30–42/42 on the Shanghai problems under natural-language proof conditions, with some clearing the gold threshold at low cost. However, these remain independent benchmarks rather than official contest entries, and the IMO has not altered its human-only format or rules to include AI participants. Key upcoming catalysts include any formal regulatory or organizational decisions on AI eligibility before year-end, though historical patterns and current policy indicate such changes are unlikely in the remaining months.
This market will resolve to "Yes" if any AI gets a gold medal in the International Math Olympiad between January 1, 2026 and December 31, 2026, 11:59 PM ET. Otherwise this market will resolve to "No."
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".
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
音量
$27,519終了日
2027/01/01マーケット開始日
Nov 12, 2025, 5:08 PM ETリゾルバー
0x65070BE91...This market will resolve to "Yes" if any AI gets a gold medal in the International Math Olympiad between January 1, 2026 and December 31, 2026, 11:59 PM ET. Otherwise this market will resolve to "No."
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".**Frontier large language models have demonstrated gold-medal or perfect performance on the 2026 IMO problems through unofficial evaluations, yet trader consensus heavily favors “No” because no AI system has officially competed or received an IMO-awarded gold medal.** Multiple Chinese models, including Xiaohongshu’s dots-note-3.0 and Huawei’s Celia, plus systems from OpenAI, Anthropic, and others, reached 30–42/42 on the Shanghai problems under natural-language proof conditions, with some clearing the gold threshold at low cost. However, these remain independent benchmarks rather than official contest entries, and the IMO has not altered its human-only format or rules to include AI participants. Key upcoming catalysts include any formal regulatory or organizational decisions on AI eligibility before year-end, though historical patterns and current policy indicate such changes are unlikely in the remaining months.
This market will resolve to "Yes" if any AI gets a gold medal in the International Math Olympiad between January 1, 2026 and December 31, 2026, 11:59 PM ET. Otherwise this market will resolve to "No."
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".
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".
音量
$27,519終了日
2027/01/01マーケット開始日
Nov 12, 2025, 5:08 PM ETリゾルバー
0x65070BE91...**Frontier large language models have demonstrated gold-medal or perfect performance on the 2026 IMO problems through unofficial evaluations, yet trader consensus heavily favors “No” because no AI system has officially competed or received an IMO-awarded gold medal.** Multiple Chinese models, including Xiaohongshu’s dots-note-3.0 and Huawei’s Celia, plus systems from OpenAI, Anthropic, and others, reached 30–42/42 on the Shanghai problems under natural-language proof conditions, with some clearing the gold threshold at low cost. However, these remain independent benchmarks rather than official contest entries, and the IMO has not altered its human-only format or rules to include AI participants. Key upcoming catalysts include any formal regulatory or organizational decisions on AI eligibility before year-end, though historical patterns and current policy indicate such changes are unlikely in the remaining months.
Polymarketデータを参照したAI生成の実験的な要約。これは取引アドバイスではなく、このマーケットの解決方法には一切関係ありません。 · 更新日
外部リンクに注意してください。
外部リンクに注意してください。
よくある質問