AI加速数学研究，顶尖数学家陶哲轩启动开源计划

在人工智能技术迅猛发展的今天，即使是传统上被认为需要深厚人类智慧的数学领域，也开始感受到AI带来的冲击。近期，包括菲尔兹奖得主陶哲轩在内的25位顶级数学家共同发表了一份关于数学与人工智能的联合声明，表达了对当前AI发展速度的担忧。

"我们欢迎更多人士加入这一行列（类似于莱顿宣言的做法），相关声明可以在该页面上查看：mathandai.org/。此外，也可以阅读《经济学人》上发表的关于该声明的报道：economist.com/science-and-technology"陶哲轩在社交媒体上写道。

这份声明并非反对AI进入数学研究，而是担心当商业实验室越来越倾向于用"解决了多少著名难题"衡量模型能力时，数学研究原本重视的理解、解释、知识积累和学术协作可能会被解题速度挤到一旁。

为应对这一挑战，陶哲轩于9月18日宣布由他参与创立的非营利机构SAIR基金会正式启动"开放数学模型计划"（Open Math Model Initiative）。这项计划希望联合数学界、科研机构和产业伙伴，共同研发面向数学及基础科学研究的开源、开放权重模型；同时搭建一套科研工具链，让研究者能够根据不同任务调用开源或闭源大语言模型。

"我们不会只看Benchmark上的正确率，而会重点考虑三个指标：模型在辅助科研流程中的实用性、可解释性以及与现有数学工具的兼容性。"陶哲轩在接受采访时表示。

这项计划的第一阶段目标，并不是挑战最著名、最困难的数学问题，而是先进入数学家日常研究中那些繁琐、耗时，却又高度重复的环节。例如，检查长篇论文中跳跃过大的证明步骤，追踪和核对跨领域参考文献，寻找特定条件下的算例与反例，辅助编写计算实验代码，以及把数学家使用自然语言写下的证明转化为Lean 4等证明助手能够检查的形式化代码。

"从这些任务来看，我们首先想做的，是一套真正进入科研流程的数学工具，而不是一台专门用来刷新纪录的‘解题机器’。"陶哲轩补充道。

与此同时，AI在数学领域的应用也正在引发更广泛的讨论。9月8日，OpenAI公布千禧年难题纳维斯托克斯问题的相关成果，约一万个并发智能体用不到四天提出解答，随后完成Lean形式化验证。9月17日，The Information援引知情人士称，OpenAI已接近解决另一道千禧难题霍奇猜想。

"当机器把以年计算的探索压缩到几天，围绕个人才华、时间投入和独立证明建立的价值尺度，也开始松动。"法国数学家、菲尔兹奖得主塞德里克·维拉尼形容，数学界弥漫着一段历史已经走到尽头的气氛。

然而，人们容易看到AI在最后一程展现的速度，却忽略它站在怎样的起点上。正如《倚天屠龙记》里张无忌在明教密道中迅速练成乾坤大挪移，依靠的是此前练就的九阳神功。AI的数学能力同样来自人类数百年的知识积淀。前人的定义、定理、方法和未完成的尝试，共同铺设了通往答案的道路。

"一条证明通过机械检查，只能说明推导链条在形式上成立。数学家仍要解释它为何成立，关键思想位于哪里，哪些方法可以迁移，以及它改变了人们对相关领域的哪些认识。"一位不愿具名的数学家表示。

这种对AI生成结果的质疑，也引发了学术界与科技公司之间的新矛盾。纽约大学数学家Tristan Buckmaster与任职于Anthropic的Levent Alpöge，已经借助AI在相关流体方程上取得进展。Buckmaster随后质疑，自己此前交给OpenAI工具的研究信息是否影响了公司的工作。OpenAI否认使用二人的未公开成果，并表示调查显示，相关内容不可能通过训练或其他方式影响此次系统。

"这不仅仅是署名权的问题，更是关于如何平衡AI效率与学术诚信的深层思考。"一位参与讨论的学者指出。

面对AI带来的变革，一些顶尖工程师已经开始主动转型。刚刚交付DeepSeekV4.1核心算子的工程师刘胜与，在社交媒体上写道："我不得不把才华埋葬在昨天。"他认为，自己必须转业——告别手写算子旧时光，转型为驾驭AI的"机甲驾驶员"。

"给予自己放下过去、拿起新工具、勇敢走向新时代的勇气。"刘胜与说。

这种转型不仅发生在数学领域，也在其他高科技行业引发连锁反应。第48届世界技能大赛的新增项目，如智慧安防技术、无人机系统、数字交互媒体设计、软件测试等，都折射出全球产业的未来走向，勾勒出AI时代"手艺人"的新画像。

"技能的价值，在于一种难以被AI编码的具身性。"一位资深技能专家表示，"比如，熟练焊工能够捕捉铝材形变前的细微信号，分辨优质焊道成型的声响；机械师长年操作车床，练就对切削刀具的直觉。"

"更深层次地看，技能的价值还在于它关乎科技创新底层逻辑之变。"另一位专家补充道，"今天的科学进步是一种递归互动：谁能跑通‘发现-制造-场景’的闭环，谁就掌握创新主动权。"

面对AI带来的变革，数学界和科技行业都在积极探索新的发展方向。陶哲轩的"开放数学模型计划"或许只是开始，但它的意义在于提醒所有人：在这个AI加速的时代，如何保持人类智慧的独特价值，将是一个需要持续思考和实践的重要课题。