As impressive as AI models can appear today, rigorous benchmarks show that we still have them beat when it comes to math.

Every year, the countries competing in the International Mathematical Olympiad arrive with a booklet of their best, most ...