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.
Experimentelle KI-generierte Zusammenfassung mit Polymarket-Daten. Dies ist keine Handelsberatung und spielt keine Rolle bei der Auflösung dieses Marktes. · AktualisiertJa
Ja
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".
Markt eröffnet: 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.
Experimentelle KI-generierte Zusammenfassung mit Polymarket-Daten. Dies ist keine Handelsberatung und spielt keine Rolle bei der Auflösung dieses Marktes. · Aktualisiert
Vorsicht bei externen Links.
Vorsicht bei externen Links.
Häufig gestellte Fragen