
昨天(9月11日),AI圈和数学圈同时炸了。
陶哲轩、邓煜、彼得·舒尔茨等25位菲尔兹奖得主联合发布了一份声明——《人工智能在数学中的严重错位》(A Severe Misalignment of AI in Mathematics)。陶哲轩把声明全文同步发在个人博客上(原文见文末),截至发稿前,已有2415名支持者。

通篇没点名OpenAI,但所有人都读懂了。
导火索:88小时"速通"千禧年难题
9月8日,OpenAI高调宣布:内部一个未公开模型,通过约1万个Agent并发,只用了88小时,就"解决"了纳维-斯托克斯方程的平滑性问题——这是2000年克雷数学研究所列出的七大千禧年难题之一,悬赏100万美元的那道。

就在公告发布前几个小时,纽约大学数学家Buckmaster和Anthropic的数学家Alpöge刚刚发表了同一问题的突破成果。Buckmaster随后发声明,措辞很激烈:OpenAI的解题思路,跟他们正在走的路线几乎一样。
一个88小时、一个几年,谁先谁后,说不清。但这件事把数学家们积攒已久的不满彻底点燃了。
声明说了什么
25位签署人里,有1978年得主德利涅(Pierre Deligne),有2010年得主吴宝珠,也有2026年7月刚获奖的中国数学家邓煜——菲尔兹奖每四年一次、只颁给40岁以下的数学家,是数学界的诺贝尔奖。
声明的核心就一句话:AI公司把解题当跑分,和数学界的追求根本不是一回事。
数学家们解释:一个著名难题之所以重要,是因为攻克它的过程会逼出新方法、新概念。这些成果还要经过漫长的报告、讨论、简化,最后才可能写进教科书,被研究生甚至本科生读懂。有些思想要沉淀几十年、几百年,才变成全人类用的工具。
解题只是工具,概念理解和洞见才是目的。
但现在AI把工具当成了目标——越来越快地批量生产"真/假"结论,"可能摧毁孕育思想的沃土,而不是为新的思想注入生机"。
三个更深的担忧
一是署名和抄袭。AI产出的数学成果发布得太仓促,来不及做规范的论文撰写、来不及引用前人工作,成果归属问题已经开始爆发。这次纳维-斯托克斯的抢跑之争,就是缩影。
二是传承链条要断。即使AI给出正确的新思路,没有数学家愿意花时间去消化、去整合、去放进经典体系,这些思想永远"活"不起来。数学界代代相传的人类传承,会因此断裂。
三是学生怎么培养。数学家给学生出题目,核心目的不是要一个答案,而是让他在研究过程中练出手感、判断力和提问题的能力。如果答案可以直接从天上掉下来,人还需要爬这座山吗?
菲尔兹奖得主雨果·迪米尼科潘用了个很形象的比喻:把一个人空投到珠峰顶,和他自己爬上去,站在同一个位置,两段经历留下的东西完全不同。
但声明没有反AI
这一点值得注意。25位数学家明确承认,AI有潜力显著增强和加速真正的数学研究,数学职业也需要适应这种变化。他们反对的不是AI本身,而是把解题当benchmark、把速度当荣耀、把人类智力训练过程当成可被跳过的中间环节这套逻辑。
声明最后留了一句话:"这些变化最终是造福这个领域,还是造成破坏性后果,很大程度上将由掌控这项新技术的人类如何决策来决定。"
这事和所有人有关
声明里有一段话值得所有做AI的人都读一读:
"我们正在目睹一种对智力劳动的普遍威胁。在许多领域,多年严格训练的目的,不仅是为了交付最终答案,也是为了培养理解力、提新问题和产生新思想的能力。但AI系统越来越有能力直接产出这些工作的结果,由此造成了目标之间的错位。"
说白了,数学只是第一个被AI"速通"的领域,但不会是最后一个。
写代码、写论文、写方案、做研究、做设计——几乎所有需要长期训练才能交付的智力劳动,都在被AI重新定义"答案"的交付速度。当答案可以一键生成,那些在解题过程中长出来的能力,是不是就成了浪费?
这才是这份声明真正想问的问题。
免责声明:本文章仅代表作者个人观点,不代表本平台的立场和观点。本文章仅供信息分享,不构成对任何人的任何投资建议。用户与作者之间的任何争议,与本平台无关。如网页中刊载的文章或图片涉及侵权,请提供相关的权利证明和身份证明发送邮件到support@aicoin.com,本平台相关工作人员将会进行核查。