【本文由小黑盒作者@佐喃于09月12日发布】
2026年9月,25位菲尔兹奖得主(涵盖1978年至2026年获奖者)联合发布声明,警告AI公司将数学问题作为基准测试的"解题竞赛"做法,正在严重损害数学科学本身及数学共同体。签署人包括Terence Tao(陶哲轩)、Peter Scholze、Artur Avila、June Huh、Maryna Viazovska、Maxim Kontsevich、Cédric Villani等。
过去几个月,大语言模型(LLM)的数学能力显著提升,已能解决数学多个领域的重大未解问题。然而,AI公司将解决数学问题作为基准测试的推动,被声明指出对数学科学本身和数学共同体均有害。
声明强调:AI公司的目标与数学共同体的目标严重错位。这被视为影响其他科学和创意职业乃至全社会的更广泛对齐问题的一部分。
研究数学涉及理解形状、数字和自然现象的基本结构。经过数代人的积累,数学已建立起庞大的复杂思想、方法、抽象和工具体系。现代技术和科学正是基于这些数学工具。
著名问题长期以来充当地标和灯塔,用于衡量对这一知识景观理解的深化。解决此类问题标志着新见解和有趣方法的出现,随后经由数学家共同体通过演讲、讨论、简化的长期艰辛过程加以研究。最终理想情况下,成果会以教科书形式呈现,供研究生甚至本科生学习。某些数学思想甚至在数十年或数世纪后,成为全社会理解和使用的工具。
数学共同体在许多方面如同人类的微缩版本:
由使用多种多样不同方法的个体组成,以核心价值观为纽带
最宝贵的资源是学生和思想,以极大细心培育
对学生:建议问题的核心意图是培养技能,使其在研究和 elsewhere 具备优势
对思想:通过演讲、私下讨论和精心撰写传播,与他人的先前思想相连接
这些过程必然需要时间,且基于人际互动
"解决问题只是工具和代理,真正的目标是概念理解和洞察。忘记这一点,工具就会反过来对抗目标。"
AI在解决重大数学问题上的成功已登上数学圈外的头条
但大规模生产"真/假"陈述的越来越快节奏,可能摧毁肥沃的思想土壤,而非孕育新想法
AI解决方案往往匆忙宣布,缺乏:
完整的书面记录(proper writeup)
新方法的提炼和隔离(isolation of new methods and ideas)
对他人先前工作的引用(citing relevant previous work)
这在所有创意职业中引发严重的归属权和抄袭问题。
"没有愿意照料其发展和整合进数学典籍的数学家,AI孕育的想法将永远无法完全存活,数学家之间关键的人类传承链将断裂。"
AI产生的想法需要数学家"收养"、发展和整合
否则这些想法永远无法真正活过来
数学家之间的人类传承链可能断裂
声明将数学界面临的困境与其他科学和创意职业的遭遇联系起来:
"多年训练传统上不仅为了产出最终答案或产品,更是为了培养理解力和提出新问题的能力。然而,建立在庞大的人类先前工作基础上,AI系统越来越能够直接产出此类工作的成果,这些目标就不再对齐。"
共25位菲尔兹奖得主
声明最后呼吁紧急行动,涉及三个层面:
数学界内部
开发这些技术的公司
更广泛的社会——因为其他知识工作领域也将面临同样问题
"AI公司的目标与数学共同体的目标严重错位。"
"解决问题只是工具和代理,真正的目标是概念理解和洞察。"
"大规模生产'真/假'陈述可能摧毁肥沃的思想土壤。"
"没有愿意照料其发展和整合进数学典籍的数学家,AI孕育的想法将永远无法完全存活。"
"数学家之间关键的人类传承链将断裂。"
"多年训练传统上不仅为了产出最终答案,更是为了培养理解力和提出新问题的能力。"