MIT, KAUST, and HUMAIN have created MathNet, the largest-ever dataset of Olympiad-level math problems, spanning 30,000 problems from 47 countries over four decades. The resource, drawn from official ...
Every year, the countries competing in the International Mathematical Olympiad arrive with a booklet of their best, most ...
As impressive as AI models can appear today, rigorous benchmarks show that we still have them beat when it comes to math.
Some results have been hidden because they may be inaccessible to you
Show inaccessible results