Chinese doctor stuns maths world by cracking decades-old problem using ChatGPT South China Morning Post