陶哲轩等25位菲奖得主发布联合声明《AI在数学领域的严重错位》
声明链接：A Severe Misalignment of AI in Mathematics
陶哲轩带头掀桌！25位菲尔兹奖得主联合发声怒批AI刷榜：扼杀数学以及全人类的智力探索
AI寒武纪2026-09-12 06:33发布于江苏科技领域创作者
关注
陶哲轩联合全球25位菲尔兹奖得主，刚刚对外发布了一份联合声明。https://inews.gtimg.com/om_bt/OhChWjbnJBMhU0nMuB1tO-vO235aHBlI8iLFUFxoqpNKUAA/641这份声明题为《数学领域中人工智能的严重失衡》。参与签名的阵容极具分量，包括德利涅、舒尔茨、海尔、维拉尼、维亚佐夫斯卡等25位菲尔兹奖得主，相关声明已经上线专门网站，经济学人也同步进行了报道。中国数学家，2026年菲尔兹奖获得者邓煜也在其中，邓煜开玩笑说：“如果人工智能能解决所有数学难题，我就去写言情小说”https://inews.gtimg.com/om_bt/O5tGfc4VRr2XKcuWQEJ9hSFUyDWJpvO5tJL2IB5fSd8kIAA/641我们来看看陶哲轩们说了什么为什么大模型能解题，数学家却慌了过去几个月里，大语言模型的数学能力大幅提升，甚至能解决多个数学领域的重大悬案。但各大AI公司把攻克数学难题当成跑分指标来推进，这件事正在对数学这门科学、对整个数学界产生破坏。AI公司的目标，和数学界的核心追求，已经产生了严重的分歧。数学研究的本质，是理解形状、数字和自然现象的基本结构。一代代数学家花费数百年建立起庞大的方法、概念和工具体系，才构成了现代科技与科学的基石。历史上的著名数学难题，原本只是用来丈量人类认知深度的灯塔。攻克一个难题，代表着人类找到了全新的认知视角和研究方法。随后，整个数学共同体需要经历极其漫长而艰苦的报告、讨论和简化过程。最终，这些成果会被写进教材，让研究生甚至本科生都能学懂。其中一些核心思想，会在几十年或几个世纪之后，变成全人类都能理解并使用的通用工具。AI正在打碎这根传承链条数学界就像一个缩微版的人类社会。这个群体最宝贵的财富，是年轻学生和思想雏形。数学家给学生布置题目，核心目的是训练学生的研究能力，让他们在未来能独立探索未知。他们通过学术报告、面对面讨论和严谨的论文来传播思想，把新想法与前人的积累连接起来。这些过程必须耗费大量时间，必须建立在人与人的直接交流之上。然而在AI时代，事情全变了。AI在短时间内批量制造出对与错的结论。这种疯狂的做题速度，并没有给新思想带来养分，反而是在破坏孕育新思想的土壤。解题原本只是获取概念理解的一种工具，现在工具却反客为主。很多由AI主导的解题成果发布得极其仓促。团队往往来不及写出严谨的论证过程，来不及提炼出其中的新方法，更来不及规范引用前人的工作。这直接带来了严重的成果归属问题，甚至引发了抄袭争议。更关键的是，如果没有人类数学家去深入消化这些成果、把它们整理进数学知识体系，AI产生的想法就永远无法真正活过来。数学家之间关键的代际传承，会彻底断裂。这不只是数学界一家的危机声明指出，全人类的智力劳动现在都面临着同样的威胁。在很多专业领域，多年严格训练的目的，不仅是为了交付最终的产品或答案，更是为了培养人类的理解力，以及提出全新问题和想法的能力。AI依靠人类积累的庞大知识库，跳过了中间过程，直接吐出最终结果。工具的应用结果，彻底背离了这项工作的初衷。AI确实有潜力去加速真正的数学探索。数学作为一门职业，也必须做出改变去适应这项技术。但这门技术最终会造福人类还是带来毁灭，取决于掌控它的人做出怎样的抉择。数学界、开发这些技术的AI公司，以及即将面对类似冲击的整个人类社会，都必须立刻正视这个危机。全文：数学领域中人工智能的严重失衡在过去的几个月里，大语言模型（LLM）的数学能力得到了显著提升，甚至已经能够解决许多数学领域中的重大未决问题。然而，人工智能公司将解决数学问题作为基准测试（Benchmark）来推进的做法，对数学这门科学以及数学界都是不利的。人工智能公司的目标与数学界的目标之间存在严重的脱节与失衡。我们认为，这属于更广泛的人工智能对齐问题的一部分，不仅冲击着其他科学和创造性职业，也影响着整个社会。数学研究的核心在于理解形状、数字和自然现象的基本结构。历经数代人的努力，数学界构建了一个由深奥思想、方法、抽象概念及其他工具组成的庞大体系，用以理解数学的宏观图景。相应地，现代技术与科学也建立在数学工具的基础之上。著名的数学难题往往扮演着路标和灯塔的角色，人们可以借此衡量对这一宏观图景的认知是否有所提升。解决其中一个问题，必定标志着人类获得了新的见解和有趣的方法；随后，整个数学界会通过报告、研讨和简化等漫长而艰苦的过程，对这些成果进行深入研究。在这一过程的终点，理想情况下会形成适合任何研究生甚至本科生学习的教材化呈现。其中一些数学思想还会继续发展，在几十年或几个世纪之后，演变为全人类都能理解并使用的通用工具。在许多方面，数学共同体的运作方式就像是人类社会的一个缩影。它由运用各种不同方法的个体组成，因共同的核心价值而凝聚在一起。在我们这项职业中，最宝贵的资源是学生和思想，我们倾注心血予以悉心培育。我们有责任让他们充分发挥潜力，直至能够在数学世界中独立立足。对于学生，我们提出问题的主要目的，是培养他们的专业技能，使他们具备在学术研究及其他领域取得进展的能力。对于思想，我们通过学术报告、私下探讨和严谨的论文撰写来传播，并将其与前人的思想脉络相连接。这些过程必然需要耗费时间，并且建立在人与人之间的互动基础之上。近几个月来，人工智能在解决重大数学难题上的成功甚至成为了数学圈外的头条新闻。然而，解决具体问题仅仅是一种工具和手段，其终极目标是实现深层的概念理解与学术洞见。在人工智能的世界里遗忘这一点，可能会让工具反噬最终的目标。事实上，以越来越快的节奏大规模制造“真/假”命题，可能会摧毁滋生新思想的肥沃土壤，而不是为其注入生命力。通常，这些解决方案都是仓促发布的，根本没有留出足够的时间进行规范的论文撰写、提炼新方法与新思想，以及规范引用他人的相关前置工作。正如在所有创造性职业中一样，这引发了严峻的学术成果归属与剽窃问题。此外，如果没有意愿投入的数学家来负责推进这些成果并将其整合进数学知识体系中，人工智能构想出的思想就永远无法真正焕发生机，数学家之间至关重要的代际传承链条也将随之断裂。我们正在目睹一场针对智力劳动的普遍威胁，即使用人工智能所产生的结果与其最初的意图之间出现了脱节。在许多领域和活动中，多年的系统训练不仅是为了产出一个最终答案或产品，更是为了培养人类的理解力，以及构思新问题和新思想的能力。然而，建立在人类庞大前人工作之上的AI系统，正变得越来越有能力直接生成此类工作的最终结果，使得这些目标不再保持一致。数学界当前面临的问题，与其他科学和创造性行业正在面临的问题类似，也预示着全人类都可能面临的危机：随着人工智能改变工作方式，我们如何确保自己不会迷失这项工作最初旨在实现的根本目标。人工智能确实蕴含着增强和加速真正的数学研究与理解的潜力。数学作为一门职业，将需要从多方面适应这些变化。然而，这些变化最终是造福该领域还是带来破坏性影响，很大程度上将取决于掌控这项新技术的决策者。这些问题必须尽快得到解决——在数学界内部、在开发这些技术的公司内部，以及在更广泛的、即将在许多其他智力劳动形式中遭遇类似问题的社会之中。签署人（25位菲尔兹奖得主）：
[*]• Artur Avila（2014年菲尔兹奖）
[*]• Manjul Bhargava（2014年菲尔兹奖）
[*]• Caucher Birkar（2018年菲尔兹奖）
[*]• Pierre Deligne（1978年菲尔兹奖）
[*]• Yu Deng（2026年菲尔兹奖）
[*]• Simon Donaldson（1986年菲尔兹奖）
[*]• Hugo Duminil-Copin（2022年菲尔兹奖）
[*]• Alessio Figalli（2018年菲尔兹奖）
[*]• Martin Hairer（2014年菲尔兹奖）
[*]• June Huh（2022年菲尔兹奖）
[*]• Maxim Kontsevich（1998年菲尔兹奖）
[*]• Elon Lindenstrauss（2010年菲尔兹奖）
[*]• Pierre-Louis Lions（1994年菲尔兹奖）
[*]• James Maynard（2022年菲尔兹奖）
[*]• Curt McMullen（1998年菲尔兹奖）
[*]• Shigefumi Mori（1990年菲尔兹奖）
[*]• Ngô Bảo Châu（2010年菲尔兹奖）
[*]• Andrei Okounkov（2006年菲尔兹奖）
[*]• Peter Scholze（2018年菲尔兹奖）
[*]• Stanislav Smirnov（2010年菲尔兹奖）
[*]• Terence Tao（2006年菲尔兹奖）
[*]• Maryna Viazovska（2022年菲尔兹奖）
[*]• Cédric Villani（2010年菲尔兹奖）
[*]• Wendelin Werner（2006年菲尔兹奖）
[*]• Efim Zelmanov（1994年菲尔兹奖）
有没有数学家抗议ai写百合同人
论坛助手,iPhone 死宅真恶心 发表于 2026-9-13 18:29
有没有数学家抗议ai写百合同人
论坛助手,iPhone
https://p.sda1.dev/35/87f4b76dc4e173ec4cc5650e67c6bd48/image.jpg
邓哥这下怕不是得朝避猛虎夕避长蛇了 真有一头牛了
以后刚公布一个猜想，有设备有资源直接就开始暴力穷举把成果收割了 急了急了
—— 来自 鹅球 v3.3.96 还以为是抨击闭源大厂的策略，结果竟然是“数学是重要的智力游戏”吗 感觉和围棋的状况差不多 «人工智能在数学中的严重错位»这篇宣言并没有旗帜鲜明的反对大型AI公司的技术霸权和算力霸权，如果真是那样到还算是篇有力度的文章。
整篇文章大部分篇幅都在谈论本学科的学术传统、学术理念和学术目标，并认为通过AI快速生产证明解决问题会对这些传统和理念造成破坏，即所谓AI的成果与学科的目标的错位。然而一个好问题并不是消耗品，不会因为有了一个证明就自动消失，除非被人选择性无视；也没人不欢迎拥有更多见解、方法和工具，用外力阻止从业者继续学习、思考和交流，并践行其理念。所谓的“错位”不如说是学术界所宣扬的目标与其实际践行的价值评价和利益分配体系间的错位。
----发送自 STAGE1 App for Android. 看了下,陶的意思是,一方面用AI搞出成果容易有归属权问题,一方面担心某些人AI用多了流口水?
邓煜的话不知道是认真还是开玩笑,要是开玩笑也就罢了,要是认真的,那他不过是仗着自己家里有资本,不搞数学一样生活的黄鹤楼上观船翻罢了,而且他写百合小说写得过AI才有鬼了...(话说这些个菲奖得主估计也都是家里有钱的主)
历史上的著名数学难题，原本只是用来丈量人类认知深度的灯塔。
攻克一个难题，代表着人类找到了全新的认知视角和研究方法。
把数学看成纯粹的智力游戏吗，这么说不合适吧
论坛助手,iPhone 现代一个描述简单的问题，往往需要分切成数十个具体的问题。然后像打地鼠一样一个一个锤过去。再用更多的精力进行逻辑严密的整合。
这被摘桃子是可以预料的。再谈一些古典精神会有些无力感。
或只是因为牵头的不是什么王子，也没有什么希圣、格皇吧 要觉得代际传承重要，ai直出答案也能代际传承，十以内加减法卖菜的都会，也没见义务教育不教啊
要说ai直出答案代际传承这一套就完蛋了，说明你学界也没多看重代际传承
—— 来自 motorola moto g51 5G, Android 11, 鹅球 v3.5.99 我还以为有什么高见，结果就是强调过程意义呗…… 他们的意思和代码的情况实际差不多，不要只刷 benchmark，要提升实际应用的价值
虽然两边具体情况不一样，但是他们的意思和“模型不能只对着 benchmark 调优，而实际真实项目开发里提升不大”意思是差不多的。 naclken. 发表于 2026-9-13 20:59
我还以为有什么高见，结果就是强调过程意义呗……
过程有用 庞加莱定理的奖金就不应该只给佩雷尔曼了菲奖当年也不应该只给他了数学大奖本身就是唯结果论的 结果 AI搞定就说过程比结果重要 哈 tsubasa9 发表于 2026-9-13 19:18
还以为是抨击闭源大厂的策略，结果竟然是“数学是重要的智力游戏”吗
这个话 其实和 帝国制冰机所谓的"比赛输赢无所谓只是享受过程"一样都是既得利益者的叫嚣 看看小胖当时的回答"不可能永远赢，但要永远想赢" 境界完全不同 我也认为单纯的穷举解题没有意义，本末倒置了，本身解题的方式应该是新的思考方向和认知领域拓展带来的标识 先不说ai究竟能不能正儿八经地论证数学问题，现在都指望ai当万能的肛爆机，蹦出无尽生产力按下各种矛盾呢，螳臂当车罢了 找反例 / 否证猜想，大规模搜索
形式化已有证明：工程增量
重组已知定理推新命题，测试验证等这些非常适合ai处理，记忆相关的和熟练度相关的知识的学习和掌握这部分是最适合想方设法提高效率的部分，但其他部分ai大算力穷举意义就不大了 只能说格罗腾迪克还是走得早了，不然看到今天这些数学共同体在AI面前的窘迫都要笑掉大牙 作为一个实用主义“入脑”的人，看完之后的感觉就是“话没说完呐”。有点模糊的概念，让DeepSeek从实用角度评价一下，和我想的差不多，并没有真的说明造成了什么损害、为什么认定是AI造成的以及如何补救。
它提出了一个有价值的问题，对问题的描述却一塌糊涂，甚至会将讨论导向错误的方向，这是不是一种“小骂大帮忙”？
—— 来自 Xiaomi 25042PN24C, Android 16, 鹅球 v4.0-alpha 上一次我看到这种集体焦虑现象还是在哪些小画师身上。 openai早就开始挖数学家了，现在反应过来是不是晚了
—— 来自 HONOR AAK-AN00, Android 16, 鹅球 v3.5.99 AI 那么能，为啥不去攻哥德巴赫猜想呢？ 我的看法是，现在AI所取得的进步，是它作为工具体现出“提高生产效率”的现实，它能解决的问题，好比都是树上快成熟的果实，数学家正在**上树，而AI的机械臂直接从树上把它摘了下来
未来可能没有这么高的效率了，因为这些长着果实的“树”都是数学家用时间、思想、心血浇灌出来的，现在的这些表现只是工具革命出现的阶段的特色，未来，这些事情的节奏还会回到既有的轨道上，因为AI自己还不能创造思想 其实能理解，数学不光是把问题解了，还是一套数学思维的培养，和所谓数学审美的传承。
审美这种有点派阀的东西先不说，AI取代数学家后，能进一步发展数学思维吗？作为大语言模型来说，难道不是沿着人类数学家已有的思维链条和工具在求解么，未来这个学科还会有创新吗？是个问题。 历史上装甲车取代战马，并不意味着骑兵就要告老还乡了。苏联第一代装甲兵就是骑兵来的，比如朱可夫。
重点不在于骑马还是开坦克，也不在于采用大纵深战役理论还是闪电战理论，在于更强大的力量掌握在红色政权手里还是在纳粹手里。
本帖最后由 الطائر 于 2026-9-14 01:39 编辑
费利克斯·豪斯多夫（德语：Felix Hausdorff，1868年11月8日—1942年1月26日），德国数学家。他是拓扑学的创始人之一，并且对集合论和泛函分析都贡献不少。他定义和研究偏序集、豪斯多夫空间和豪斯多夫维，证明豪斯多夫极大定理。他以笔名Paul Mongré出版哲学和文学作品。
豪斯多夫生于布雷斯劳，在莱比锡学习数学并任教，直至1910年获聘往波昂任数学教授。纳粹当权后，他想纵然自己是犹太人，但他是受敬重的大学教授，应可免于迫害。但他的抽象数学研究，被批评为属“犹太人”的，没用而且“非德国”，令他在1935年失去教席。1942年，当他知悉要被送往集中营，他与妻子和妻子的一名姊妹服毒自尽。
迫害数学家，也是纳粹老传统了。当时还没有AI呢，数学家就“没用了”。 怎么就信誓旦旦不会有新的思维，新的工具了呢。
反正就AI现在最大的应用场景编程上，是新思维新工具极大地丰富了。 畜男不是人 发表于 2026-9-14 01:23
其实能理解，数学不光是把问题解了，还是一套数学思维的培养，和所谓数学审美的传承。
审美这种有点派阀的 ...
手抓饭后面出现筷子叉子勺子，不用手抓饭不能体会到手抓饭的传承，手抓饭的思维，失去用手抓饭的未来。问题来了你用不用餐具
璇瑢子R 发表于 2026-9-14 01:51
怎么就信誓旦旦不会有新的思维，新的工具了呢。
反正就AI现在最大的应用场景编程上，是新思维新工具极大地 ...
这个也没有，ai 最缺的就是 taste，放任不管是比多人协作还恐怖的屎山 对普通人来说是AI搞出来还是数学家搞出来没有区别 本帖最后由 NONORIRI 于 2026-9-14 02:10 编辑
空彦秋 发表于 2026-9-13 19:43
看了下,陶的意思是,一方面用AI搞出成果容易有归属权问题,一方面担心某些人AI用多了流口水?
邓煜的话不知道 ...
百合小说我还真觉得AI不行，尤其同人，看过几篇AI都味太冲了，都不提措辞本身的AI味了，人设跟情节大多都ooc 严重、共鸣情感也没有，跟原作也容易对不上，后面pixiv 上搜索都是屏蔽AI tag 的。 知乎上的数学工作者刘宇航（宾大数学博士，西交利物浦助理教授）对AI看法就很乐观。半年前DS都不会用，现在每天Astra用得飞起。数学界顶层和底层的人对AI看法是不会一样的，底层的天资“平庸”，平常还要绞尽脑汁灌水，现在有了AI极大缩小了和顶层大佬之间的脑力差距，那不就要抓住这千载难逢的机会。刘宇航自己说电脑里现在存了有几十个pdf。
数学里的open problems是无穷多的，AI公司不可能也不会去摘完，而且从来也不是某个命题证完了，这方向就死了。用更优雅、更简洁的方法重新证明旧定理、解决旧方法本来就是长久以来很多人都在做的。牛顿把经典力学的基本问题都解决完了，这阻挡了后面出现拉格朗日力学、哈密顿力学吗？陈省身不是靠给出了高斯博内公式的内蕴性证明而名扬天下的吗？所以认为某个问题被暴力攻克了，那么这个问题就没有带来收益是非常傲慢的想法，无论这个问题解决与否，你始终都可以从新视角、新方法看待老问题，这些工作的价值是同等重要的。是你们自己把题看得太重，所以好像有人把题解了一下子没目标了。
而且认为知识的传递必须要建立在人与人的直接交流上更是很傲慢的说法。以前有书本，后来有互联网，现在有AI，只要一个人有心向学，他可以接触到对个人来说无穷无尽的知识海洋，人类历史上从来没有出现过这样知识获取极大丰富的时代。该思考如何变更的是现在的高等教育下导师-研究生这种封建时代学徒制遗传下来的教育体系，而不是反过来。
降临派 ultraseven 发表于 2026-9-14 04:51
知乎上的数学工作者刘宇航（宾大数学博士，西交利物浦助理教授）对AI看法就很乐观。半年前DS都不会用，现在 ...
实际上openai和A/真正的原子弹还没放，这两家公司每天都用ai跑open problems，据说已经解决了几百个了，至少都是4大级的问题，只是没有发表，重要的是这些问题每天都在增加。这些小问题他们已经不屑发表了，除非攻破千禧级问题。如果哪天真的都发表了，或者被什么人泄露出来，比如某个看热闹不嫌事大的黑客，才是真的数学地震呢。 空彦秋 发表于 2026-9-13 19:43
看了下,陶的意思是,一方面用AI搞出成果容易有归属权问题,一方面担心某些人AI用多了流口水?
邓煜的话不知道 ...
人家都搞数学了，可能家里没底子么 密特里奈斯 发表于 2026-9-14 10:43
人家都搞数学了，可能家里没底子么
邓煜参加了这个声明,所以我说不知道他认真还是开玩笑
而且去搞数学的,家里可能只是中产,这些得过菲奖的,手里才是不缺合作和项目,能继续积攒
页:
[1]