Google DeepMind takes step closer to cracking top-level maths

Team of two new AI systems score one point short of gold medal in global maths contest for gifted studentsEven though computers were made to do maths faster than any human could manage, the top level of formal mathematics remains an exclusively human domain. But a breakthrough by researchers at Google DeepMind has brought AI systems closer than ever to beating the best human mathematicians at their own game.A pair of new systems, called AlphaProof and AlphaGeometry 2, worked together to tackle q