Recent breakthroughs in artificial intelligence reasoning drove the 70.5% implied probability for an AI system claiming IMO gold in 2026. In July 2025, Google DeepMind’s advanced Gemini Deep Think and an OpenAI large language model both scored 35 out of 42 points on the official IMO problems—meeting the exact gold-medal threshold by solving five of six questions under competition conditions. This marked a rapid jump from the silver-equivalent performance of prior systems like AlphaProof in 2024, propelled by scaled model training, enhanced formal verification, and reinforcement learning pipelines. With the 2026 IMO scheduled for July in Shanghai and further iterative releases expected across labs, traders see continued benchmark gains as the dominant trend, tempered by variable problem difficulty and potential evaluation edge cases.
Résumé expérimental généré par IA à partir des données Polymarket. Ceci n'est pas un conseil de trading et ne joue aucun rôle dans la résolution de ce marché. · Mis à jourOui
NOUVEAU
NOUVEAU
31 déc. 2026
Oui
NOUVEAU
NOUVEAU
31 déc. 2026
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".Recent breakthroughs in artificial intelligence reasoning drove the 70.5% implied probability for an AI system claiming IMO gold in 2026. In July 2025, Google DeepMind’s advanced Gemini Deep Think and an OpenAI large language model both scored 35 out of 42 points on the official IMO problems—meeting the exact gold-medal threshold by solving five of six questions under competition conditions. This marked a rapid jump from the silver-equivalent performance of prior systems like AlphaProof in 2024, propelled by scaled model training, enhanced formal verification, and reinforcement learning pipelines. With the 2026 IMO scheduled for July in Shanghai and further iterative releases expected across labs, traders see continued benchmark gains as the dominant trend, tempered by variable problem difficulty and potential evaluation edge cases.
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".
Marché ouvert : Nov 12, 2025, 5:08 PM ET
Volume
$4,778Date de fin
31 déc. 2026Marché ouvert
Nov 12, 2025, 5:08 PM ETResolver
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".Recent breakthroughs in artificial intelligence reasoning drove the 70.5% implied probability for an AI system claiming IMO gold in 2026. In July 2025, Google DeepMind’s advanced Gemini Deep Think and an OpenAI large language model both scored 35 out of 42 points on the official IMO problems—meeting the exact gold-medal threshold by solving five of six questions under competition conditions. This marked a rapid jump from the silver-equivalent performance of prior systems like AlphaProof in 2024, propelled by scaled model training, enhanced formal verification, and reinforcement learning pipelines. With the 2026 IMO scheduled for July in Shanghai and further iterative releases expected across labs, traders see continued benchmark gains as the dominant trend, tempered by variable problem difficulty and potential evaluation edge cases.
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".
Volume
$4,778Date de fin
31 déc. 2026Marché ouvert
Nov 12, 2025, 5:08 PM ETResolver
0x65070BE91...Recent breakthroughs in artificial intelligence reasoning drove the 70.5% implied probability for an AI system claiming IMO gold in 2026. In July 2025, Google DeepMind’s advanced Gemini Deep Think and an OpenAI large language model both scored 35 out of 42 points on the official IMO problems—meeting the exact gold-medal threshold by solving five of six questions under competition conditions. This marked a rapid jump from the silver-equivalent performance of prior systems like AlphaProof in 2024, propelled by scaled model training, enhanced formal verification, and reinforcement learning pipelines. With the 2026 IMO scheduled for July in Shanghai and further iterative releases expected across labs, traders see continued benchmark gains as the dominant trend, tempered by variable problem difficulty and potential evaluation edge cases.
Résumé expérimental généré par IA à partir des données Polymarket. Ceci n'est pas un conseil de trading et ne joue aucun rôle dans la résolution de ce marché. · Mis à jour
Méfiez-vous des liens externes.
Méfiez-vous des liens externes.
Questions fréquentes