TheSequence

TheSequence

Share this post

TheSequence
TheSequence
The Sequence Opinion #694: From Proof Engines to Polymaths: How AI Conquered the International Math Olympiad

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.

Jul 30, 2025
∙ Paid
13

Share this post

TheSequence
TheSequence
The Sequence Opinion #694: From Proof Engines to Polymaths: How AI Conquered the International Math Olympiad
Share
Generated image
Image Credit: Google DeepMind

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.

Specialized Models: From AlphaProof to AlphaGeometry

This post is for paid subscribers

Already a paid subscriber? Sign in
© 2025 Jesus Rodriguez
Privacy ∙ Terms ∙ Collection notice
Start writingGet the app
Substack is the home for great culture

Share