The Sequence Opinion #694: From Proof Engines to Polymaths: How AI Conquered the International Math Olympiad
DeepMind and OpenAI achieved gold medal in the IMO using general transformers.
A few days ago, the International Mathematical Olympiad (IMO)—the world's most prestigious math competition for high school students—saw a historic moment: AI systems from Google DeepMind and OpenAI achieved gold-medal level performance. Both models successfully solved five out of six problems under official contest conditions. This landmark marks a dramatic leap in AI reasoning capabilities, moving beyond previous benchmarks into creative problem-solving. These successes build on earlier specialized systems like AlphaProof and AlphaGeometry, culminating in today’s general-purpose models like Gemini and OpenAI's O1 series.