Artificial intelligence (AI) is now solving maths puzzles that have long stumped humans, prompting mathematicians around the world, including in China, to ponder not only whether machines will replace ...