北京
计算机在数学领域的应用，已经走过了半个世纪。1976年，研究者借助计算机完成了四色定理的证明，用一种人类几乎无法逐行检验的方式，确认了任何地图仅需四种颜色就能完成着色。那个年代，计算机更像是超级算盘，真正的创意和方向依然牢牢握在人类手中。
但眼下，这个模式正被改写。大语言模型在短短数年间，从只会鹦鹉学舌般重复文本的“随机鹦鹉”，快速进化为能处理高阶数学推理的机器。AI不再只是计算工具，它开始介入数学家最核心的领域——提出猜想、设计证明策略。这逼着整个数学界去思考一个根本问题：当机器能做越来越多的事，数学家究竟该扮演什么角色？
加州大学洛杉矶分校教授陶哲轩给出了一个颇具想象力的答案。他把这种未来图景称为“大数学”，一种大规模、去中心化的人机协作模式。复杂的数学问题被拆解成无数碎片，人类掌握最需要直觉和创造力的部分，AI则消化掉绝大部分技术性环节。陶哲轩本人已经开始实践这套思路，把AI当作推动协作的催化剂，而不是替代者。
但争议并没有因此消失。一位数学家在接受采访时谈到，数学训练塑造了自己看待世界的方式——一种极端讲究逻辑和理性的思维习惯，这种影响渗透到生活的方方面面。现在的问题是，如果未来的数学家越来越多地把思考过程外包给AI，他们还能拥有这种独特的思维底色吗？这或许才是技术变革背后，最让人放不下的那根刺。
特别声明：以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布，本平台仅提供信息存储服务。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.
