World’s largest collection of Olympiad-level math problems now available to everyone MIT researchers have released the world’s largest collection of Olympiad-level math problems, making over 30,000 expert-authored problems freely accessible to the public. The dataset, called MathNet, represents the most comprehensive high-quality collection of proof-based math problems ever compiled, drawn from national olympiad competitions worldwide. The initiative addresses a long-standing barrier in mathematical education: limited access to elite competition problems. Previously, these materials were often restricted to national teams or required special permissions. Now, students, educators, and math enthusiasts globally can study and practice with the same problems used to train International Mathematical Olympiad (IMO) contestants. MathNet spans 47 different mathematical disciplines, including algebra, geometry, number theory, and combinatorics. Each problem includes a verified solution and is categorized by difficulty level and topic. The collection grows annually as participating countries contribute their newest, most original problems from national olympiad selections. Researchers emphasize that the dataset serves dual purposes: advancing mathematical education and enabling AI research in automated reasoning. By providing a standardized benchmark of complex, human-crafted proofs, MathNet helps evaluate how well AI systems can understand and generate mathematical reasoning—a critical step toward developing more capable reasoning models. Access to MathNet is completely free and requires no registration. The dataset is hosted through MIT’s Computer Science and Artificial Intelligence Laboratory (CSAIL) and is available for immediate download. Educators can integrate the problems into curricula, while students can use them for self-study or competition preparation. This open release marks a significant step toward democratizing access to high-level mathematical training materials. By removing barriers to elite problem sets, MathNet aims to inspire broader participation in mathematical sciences and support the development of problem-solving skills across diverse learning environments.
12