“MathNet” MIT, KAUST & HUMAIN have built the world's largest collection of Olympiad-level math problems. The dataset can help students prepare for competitions & revealed how AI models can improve at math problems, esp. ones w/visual reasoning: https://
bit.ly/4vBr2kl

→ View original post on X — @mit_csail,