MIT scientists build the world’s largest collection of Olympiad-level math problems, and open it to everyone
MIT CSAIL scientists have compiled the largest high-quality dataset of proof-based math problems ever created. It can help researchers test AI models’ mathematical reasoning, while capturing the full range of mathematical perspectives and problem-solving traditions within the global math community.
