When artificial intelligence systems began cracking previously unsolved mathematical problems, the academic world faced an ...