MathNet, created by researchers at MIT CSAIL, KAUST, and HUMAIN, is the largest dataset of Olympiad-level math problems, with over 30,000 expert-authored problems from 47 countries and 17 languages.