Introducing the world’s largest Math Olympiad database

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 mo...