This prediction market asks whether artificial intelligence will achieve a gold medal performance at the International Mathematical Olympiad (IMO) by the end of 2026. The IMO is the world's most prestigious pre-college mathematics competition, where top high school students from over 100 countries solve extremely challenging problems. A gold medal typically requires a near-perfect score, placing a contestant among the top 5-8% of all participants. The market resolves based on verification from two specific initiatives: the IMO Grand Challenge, an open research project to build an AI capable of winning the IMO, and the Artificial Intelligence Math Olympiad (AIMO) Prize, a $10 million competition offering awards for AI performance on Olympiad problems. Interest in this topic stems from the symbolic importance of the IMO as a benchmark for advanced reasoning. Success would represent a leap beyond current AI capabilities in pattern recognition and language processing, demonstrating genuine mathematical reasoning and problem-solving. Recent advances in large language models like OpenAI's GPT-4 and Google's DeepMind have shown some proficiency in solving selected math competition problems, but none have approached the consistent, high-level performance required for an IMO gold. The 2026 timeframe coincides with significant investment and research timelines from major AI labs and academic institutions targeting this specific goal.

Historical Context

The quest for AI to master advanced mathematics has evolved alongside the field itself. Early symbolic AI systems in the 1950s and 1960s, like the Logic Theorist, could prove elementary mathematical theorems but were limited by computational power and rigid formalisms. For decades, mathematical reasoning was considered a core challenge of artificial intelligence. The modern era of this pursuit began around 2019, when large language models first showed surprising competence on grade-school math problems. In 2021, the IMO Grand Challenge was formally proposed by Daniel Selsam and others, explicitly framing the IMO gold medal as a new grand challenge for AI, akin to chess or Go. This built upon earlier specialized benchmarks like the MATH dataset released in 2021. A pivotal moment occurred in January 2024, when Google DeepMind published its AlphaGeometry system in the journal Nature. AlphaGeometry solved 25 out of 30 geometry problems from past IMOs within the standard time limit, a performance that would have earned a silver medal at the 2000 and 2015 contests. This was the first time an AI system had demonstrated competitive-level performance on a specific IMO subject. Later in 2024, the AIMO Prize was announced, adding a substantial monetary reward to the research objective.

Frequently Asked Questions