mathnet.mit.edu
MathNet is a free dataset and benchmark of 30,676 Olympiad-level math problems with solutions, spanning 47 countries, 17 languages and two decades of competitions. It supports problem solving, math-aware retrieval and retrieval-augmented problem solving.