Marketplace®
Every story is an economic story
Apr 28, 2026

Introducing the world’s largest Math Olympiad database

MIT’s Computer Science and Artificial Intelligence Lab has released a massive, public collection of proof-based math problems gathered from the International Mathematical Olympiad.

Download
Introducing the world’s largest Math Olympiad database
Getty Images

Subscribe:

The International Math Olympiad is a yearly competition for students, most of them high school age, who compete to solve six difficult math problems. They're chosen from a pool of math problems submitted by different countries that participate in the competition.

The problems that don't make the cut previously have mostly just been lost; there was no one place you could go to find them.

But now a team at MIT’s Computer Science and Artificial Intelligence Lab has gathered over 30,000 of those problems together in one dataset so both humans and AI models can look through and study them.

Marketplace’s Stephanie Hughes spoke with Mark Hamilton, a visiting researcher at MIT CSAIL who has been part of the work to gather problems. He’s also a research scientist at Google's DeepMind laboratory.

More on this

Mathnet - from MIT

The Team

Introducing the world’s largest Math Olympiad database