Recent claims of frontier models like GPT-5.6 Pro solving all six IMO 2026 problems have boosted expectations, yet the 65% implied probability on “No” reflects unresolved verification gaps and strict market criteria. Independent confirmation from IMO organizers remains absent amid competing assertions from Huawei, Xiaohongshu, and OpenAI, while historical patterns show geometry and rigorous proof still challenge even advanced large language models. Traders weigh 2025 closed-source gold-level results against the need for reproducible, open-source performance under official scoring thresholds. Upcoming independent audits and any official statements on AI submissions represent the clearest near-term catalysts that could shift sentiment.
Экспериментальная сводка, созданная ИИ на основе данных Polymarket. Это не является торговой рекомендацией и не влияет на то, как разрешается этот рынок. · ОбновленоAI выиграл золотую медаль IMO в 2026 году?
Да
Да
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...Recent claims of frontier models like GPT-5.6 Pro solving all six IMO 2026 problems have boosted expectations, yet the 65% implied probability on “No” reflects unresolved verification gaps and strict market criteria. Independent confirmation from IMO organizers remains absent amid competing assertions from Huawei, Xiaohongshu, and OpenAI, while historical patterns show geometry and rigorous proof still challenge even advanced large language models. Traders weigh 2025 closed-source gold-level results against the need for reproducible, open-source performance under official scoring thresholds. Upcoming independent audits and any official statements on AI submissions represent the clearest near-term catalysts that could shift sentiment.
Экспериментальная сводка, созданная ИИ на основе данных Polymarket. Это не является торговой рекомендацией и не влияет на то, как разрешается этот рынок. · Обновлено


Не доверяй внешним ссылкам.
Не доверяй внешним ссылкам.
Часто задаваемые вопросы