MIT Unveils MathNet, Large-Scale Olympiad Math Dataset for AI Research
Researchers at MIT, KAUST, and HUMAIN have released MathNet, the world's largest collection of Olympiad-level math problems. Comprising over 30,000 expert-reviewed problems and solutions, MathNet aims to advance both AI mathematical reasoning and student preparation worldwide.