Google DeepMind has taken a big step toward bringing artificial intelligence (AI) in line with human capability to solve complicated mathematics. Researchers paired two new systems, known as AlphaProof and AlphaGeometry 2, tasking them with questions from the International Mathematical Olympiad. The global maths contest for advanced high school students has been running since 1959, comprised of six extremely difficult questions each year.