Recent breakthroughs in AI mathematical reasoning have driven the 73.5% implied probability for an AI system claiming gold at the 2026 International Mathematical Olympiad. Google DeepMind’s Gemini Deep Think and OpenAI’s reasoning models both scored 35 out of 42 points on the 2025 IMO problems—precisely the gold threshold—by solving five of six questions under human-like conditions. This marked a sharp advance from DeepMind’s 28-point silver-level result on the 2024 set, reflecting gains in formal verification, reinforcement learning, and large language model scaling. With the 2026 contest scheduled for July in Shanghai and fresh training datasets such as MIT’s MathNet now available, traders see continued iteration as likely to clear the cutoff, though harder problem sets or evaluation disputes could still shift outcomes.
Експериментальне резюме, згенероване ШІ з посиланням на дані Polymarket. Це не торгова порада і не впливає на вирішення цього ринку. · ОновленоAI wins IMO gold medal in 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 breakthroughs in AI mathematical reasoning have driven the 73.5% implied probability for an AI system claiming gold at the 2026 International Mathematical Olympiad. Google DeepMind’s Gemini Deep Think and OpenAI’s reasoning models both scored 35 out of 42 points on the 2025 IMO problems—precisely the gold threshold—by solving five of six questions under human-like conditions. This marked a sharp advance from DeepMind’s 28-point silver-level result on the 2024 set, reflecting gains in formal verification, reinforcement learning, and large language model scaling. With the 2026 contest scheduled for July in Shanghai and fresh training datasets such as MIT’s MathNet now available, traders see continued iteration as likely to clear the cutoff, though harder problem sets or evaluation disputes could still shift outcomes.
Експериментальне резюме, згенероване ШІ з посиланням на дані Polymarket. Це не торгова порада і не впливає на вирішення цього ринку. · Оновлено
Обережно з зовнішніми посиланнями.
Обережно з зовнішніми посиланнями.
Часті запитання