Google DeepMind takes step closer to cracking top-level maths