MIT scientists build the world’s largest collection of Olympiad-level math problems, and open it to everyone
AI Summary: Researchers from MIT's CSAIL, KAUST, and HUMAIN have developed MathNet, the largest dataset of proof-based math problems, comprising over 30,000 expert-authored problems from 47 countries and spanning four decades. This dataset is five times larger than the next biggest collection and includes both text- and image-based problems in 17 languages, sourced exclusively from official national competition booklets. The initiative aims to provide a centralized, high-quality resource for students preparing for math competitions like the International Mathematical Olympiad (IMO) and to support AI research in mathematical reasoning. The dataset's validation involved a grading group of over 30 evaluators from various countries to ensure the accuracy of the solutions.