计算机在数学领域的应用，已经走过了半个世纪。1976年，研究者借助计算机完成了四色定理的证明，用一种人类几乎无法逐行检验的方式，确认了任何地图仅需四种颜色就能完成着色。那个年代，计算机更像是超级算盘，真正的创意和方向依然牢牢握在人类手中。

但眼下，这个模式正被改写。大语言模型在短短数年间，从只会鹦鹉学舌般重复文本的“随机鹦鹉”，快速进化为能处理高阶数学推理的机器。AI不再只是计算工具，它开始介入数学家最核心的领域——提出猜想、设计证明策略。这逼着整个数学界去思考一个根本问题：当机器能做越来越多的事，数学家究竟该扮演什么角色？

加州大学洛杉矶分校教授陶哲轩给出了一个颇具想象力的答案。他把这种未来图景称为“大数学”，一种大规模、去中心化的人机协作模式。复杂的数学问题被拆解成无数碎片，人类掌握最需要直觉和创造力的部分，AI则消化掉绝大部分技术性环节。陶哲轩本人已经开始实践这套思路，把AI当作推动协作的催化剂，而不是替代者。

但争议并没有因此消失。一位数学家在接受采访时谈到，数学训练塑造了自己看待世界的方式——一种极端讲究逻辑和理性的思维习惯，这种影响渗透到生活的方方面面。现在的问题是，如果未来的数学家越来越多地把思考过程外包给AI，他们还能拥有这种独特的思维底色吗？这或许才是技术变革背后，最让人放不下的那根刺。