#数学家 陶哲轩 GPT-4 数学难题 生成函数 灵感