人工智能在数学领域的严重错位
摘要
一群菲尔兹奖得主,包括Terry Tao,发表声明,强调人工智能公司在使用AI解决数学问题时,其目标与数学界的价值观之间存在严重错位。
<p><a href="https://lobste.rs/s/xsbz3l/severe_misalignment_ai_mathematics">评论</a></p>
查看缓存全文
缓存时间: 2026/09/11 20:29
# 人工智能在数学领域的严重错位
来源:https://terrytao.wordpress.com/2026/09/11/a-severe-misalignment-of-ai-in-mathematics/
我很自豪能成为首批25位签署者之一——他们都是菲尔兹奖得主——签署了以下宣言,该宣言源于我们过去一周的讨论。我们也已将宣言发布在此网页(https://mathandai.org/)上,并且(与莱顿宣言(https://leidendeclaration.ai/)类似)邀请更多人签署。(遗憾的是,我们没有时间像莱顿宣言那样进行更广泛的协商;但我们认为情况紧急,需要尽快发布声明,而非推迟。)
另请参阅《经济学人》最近关于此宣言的文章(https://www.economist.com/science-and-technology/2026/09/11/top-mathematicians-are-outraged-by-openais-methods)。
近几个月来,大语言模型的数学能力显著提升,已能解决数学诸多领域的重大悬而未决的问题。然而,人工智能公司为基准测试而推动解决数学问题的做法,对数学科学和数学界都是有害的。人工智能公司的目标与数学界的目标存在严重错位。我们认为这是更广泛的错位问题的一部分,影响着其他科学和创意职业,乃至整个社会。
研究数学旨在理解形状、数字和自然现象的基本结构。经过数代人的积累,它构建了大量复杂的思想、方法、抽象概念和其他工具,用以理解数学全貌。反过来,现代技术和科学都基于数学工具。
著名问题常被视为地标和灯塔,用以衡量我们对这一领域的理解进展。解决其中一个问题,总是新见解和有趣方法的明确标志,这些方法随后会被数学家群体通过漫长的演讲、讨论、简化等艰辛过程来研究。理想情况下,在此过程结束时,会找到适合研究生甚至本科生学习的教科书式阐述。其中一些数学思想会继续传播,数十年甚至数百年后,成为全体民众理解和使用的工具。
数学界在许多方面运作,就像是人类的一个微缩版。它由采用各种不同方法的个人组成,由核心价值观凝聚在一起。我们职业最宝贵的资源是学生和思想,我们对此悉心培育。我们有责任让它们充分发展,直到它们能在数学世界中拥有自己的生命。对学生,我们常常以培养技能、使其在研究及其他领域占据优势为核心意图来提出问题。我们的思想通过演讲、私下讨论和精心撰写的文稿来传播,并与前人的思想相联系。这些过程无一例外需要时间,并且基于人际互动。
近几个月来,人工智能在解决重大数学问题上的成功,甚至在数学界外也成为头条新闻。但解决问题只是实现概念理解和洞察这一首要目标的工具和代理。在人工智能世界中忘记这一点,可能会使工具背离首要目标。实际上,以越来越快的速度大规模产出“真/假”命题,可能会破坏思想的沃土,而非为新思想注入活力。
通常,这些解决方案在仓促中公布,没有时间进行适当的撰写、提取新方法和思想,以及引用相关的前人工作。与所有创意职业一样,这引发了严重的署名权和抄袭问题。此外,若没有愿意负责发展并整合这些思想、使其融入数学经典的数学家,人工智能构想的思想将永远无法真正焕发生机,数学家之间至关重要的人类传承链也将断裂。
我们目睹了对智识工作的普遍威胁,即人工智能的使用结果与其初始目的之间存在错位。在许多领域和活动中,多年的传统训练不仅旨在产出最终答案或产品,也旨在培养理解能力以及提出新问题和新思想的能力。然而,基于大量前人工作的成果,人工智能系统正日益能够直接产出此类工作的结果,而这些目标便不再一致。数学界现在面临的问题,与其他科学和创意职业面临的问题相似,并预示着全人类可能面临的问题:如何确保随着人工智能改变工作方式,我们不会忽视这项工作最初旨在实现的目标。
人工智能提供了增强和加速真正数学研究与理解的潜力。数学作为一门职业,将需要从多方面适应这些变化。然而,这些变化最终是惠及该领域还是产生破坏性影响,在很大程度上将取决于掌控这项新技术的人类所做出的决定。
这些问题必须得到紧急解决,需要在数学界、开发这些技术的公司以及更广泛的社会层面——该社会将在许多其他形式的智识工作中面临类似问题——采取行动。
Artur**Avila**(菲尔兹奖 2014)Manjul**Bhargava**(菲尔兹奖 2014)Caucher**Birkar**(菲尔兹奖 2018)Pierre**Deligne**(菲尔兹奖 1978)**Deng** Yu(菲尔兹奖 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)
相似文章
人工智能在数学中的错位
该宣言认为,人工智能公司快速解决数学问题作为基准测试,对数学是有害的,这与数学界注重概念理解的重点错位,并可能损害这门科学及其发展。
OpenAI与数学家的争执持续升级
25位Fields Medal获奖数学家签署了一封公开信,指责AI实验室,特别是OpenAI,通过未经验证的证明和不当的归属实践威胁数学研究,加剧紧张局势并引发对开放科学完整性的担忧。
AI时代的数学
由Terence Tao撰写的一篇文章,探讨数学界应如何回应能够执行研究级任务的AI工具,重点澄清数学研究的隐含目标和价值观。
数学家警告人工智能对行业的威胁,随着产业逐步侵入
数学家通过国际数学联盟认可的《莱顿宣言》警告,人工智能威胁数学研究的核心价值,包括正确性、透明度和引用规范,同时引发对行业影响力和传统标准被侵蚀的担忧。
让我理清楚:数学界通过威胁参与者来回应AI,其中大多数只是学生?
数学家们发表了一封公开信,要求取消Caltech Mathathon,这是一个由学生运营的黑客马拉松,使用前沿LLMs,并警告参与可能损害学生的声誉,突显了学术界在AI伦理辩论中的紧张局势。