AI 促使数学家重新思考数学的本质与意义

几十年来计算加速了数学的进步，50 年前计算机用于证明四色定理，但人类数学家仍凭借直觉、创造力和经验主导猜想与证明。如今 AI 打破了这一格局，大模型在短短几年内进化为能够进行高级数学推理的机器。

UCLA 教授陶哲轩认为 AI 可以作为催化剂，推动走向“大数学”——人类与机器大规模、去中心化的协作：复杂的数学任务被分解，人类聚焦创造性环节，AI 负责技术性工作。陶哲轩本人已在实践这一理念。

AI 的崛起迫使数学家思考数学对他们的意义。一位数学家表示，数学塑造了其逻辑和理性的思维方式，并对此感到帮助。但未来随着 AI 改变数学，研究人员质疑未来的数学家是否还能得出相同结论。