Why AIs that tackle complex maths could be the next big breakthrough

Research-level mathematics might seem an unlikely proving ground for artificial intelligence, but recent developments suggest it offers a route to automated human-like reasoning