MIT & the IMO released MathNet, the world’s largest dataset of International Math Olympiad problems & solutions. MathNet is 5x larger than previous datasets & is sourced from over 40 countries across 4 decades
Summary
MIT and the IMO release MathNet, a massive dataset of International Math Olympiad problems and solutions spanning 40 years and 40+ countries, 5x larger than prior datasets.
Similar Articles
MIT scientists build the world’s largest collection of Olympiad-level math problems, and open it to everyone
MIT researchers, in collaboration with KAUST and HUMAIN, have released MathNet, the largest open-source dataset of Olympiad-level math problems, containing over 30,000 expert-authored problems from 47 countries.
MathNet: a Global Multimodal Benchmark for Mathematical Reasoning and Retrieval
MathNet is a large-scale multilingual multimodal benchmark of 30,676 Olympiad-level math problems spanning 47 countries and 17 languages, designed to evaluate mathematical reasoning and retrieval in generative and embedding-based models. Even state-of-the-art models like Gemini and GPT-5 struggle with the benchmark, highlighting significant room for improvement in mathematical AI.
CrowdMath: A Dataset of Crowdsourced Mathematical Research Discussions
Introduces CrowdMath, a dataset of 164 expert-annotated progress chains from the MIT PRIMES–AoPS CrowdMath program, capturing collaborative mathematical problem-solving. Benchmarks six frontier models, finding they achieve 83-88% accuracy on next-post prediction but only 0.42 macro-F1 on post-role classification, highlighting a gap in understanding collaborative progress.
PatiGonit22K: A Comprehensive Dataset for Solving Complex Bengali MWPs
Introduces PatiGonit22K, an expanded Bengali mathematical word problem dataset with 22,441 problems, including complex multi-operation problems, to advance mathematical reasoning research for low-resource languages.
Resolved Math problems solved with AI over time
A link to data tracking how AI systems have solved math problems over time, highlighting progress in AI mathematical reasoning.