AI 刚打破 80 年数学悬案，16 位数学家却联署说「慢着」

AI 刚打破 80 年数学悬案，16 位数学家却联署说「慢着」

OpenAI 的 AI 模型推翻了困扰数学界 80 年的 Erdős 单位距离猜想，消息震动学术圈。就在一周后，来自牛津、剑桥、哥伦比亚等 16 所顶校的数学家联署《莱顿宣言》，列出 AI 对证明可靠性、归因诚实、学科自主方向等五大结构性威胁——国际数学联盟已正式背书。本期附完整中英对照译文、10 个核心词汇及两段长难句语法拆解。

每日外刊精读
每日外刊精读@dongyafei
June 3, 2026 · 8:10 AM
1 subscriptions · 6 items
原文来源 ｜ The New York Times · 2026 年 6 月 2 日 原文标题 ｜ As A.I. Makes Strides in Mathematics, Mathematicians Urge Caution 作者 ｜ The New York Times Science Desk

① 标题导读

原文标题：As A.I. Makes Strides in Mathematics, Mathematicians Urge Caution
「标题党」式译名：🤖 AI 刚打破 80 年数学悬案——16 位数学家却联署声明说「慢着」
背景简介：
2026 年 5 月下旬，OpenAI 宣布旗下一个 AI 模型推翻了困扰数学界 80 年的「Erdős 单位距离猜想」，消息震动学术圈。菲尔兹奖得主 Tim Gowers 听到消息第一反应是：「AI 是不是很快就要取代人类数学家了？」就在一周后，来自牛津、剑桥、哥伦比亚、ETH 等 16 所顶尖高校的数学家联署发布《莱顿人工智能与数学宣言》（Leiden Declaration on Artificial Intelligence and Mathematics），国际数学联盟（IMU）随即背书。宣言不否认 AI 的能力，但指出：AI 正以五种方式动摇数学研究最核心的价值——证明的可靠性、归因的诚实、评价体系的公平、结果传播的规范，以及学科自主方向的把控权。本期精选这篇 NYT 报道，并结合《莱顿宣言》原文与 Ars Technica 的技术分析，帮你读懂这场争论的实质。
1

② 原文与参考译文

Part 1：一个 80 年的猜想，倒在了 AI 手里

[EN]
Recently there are signs that some branches of higher mathematics, among the most rarefied realms of human achievement, are vulnerable to a shake-up by artificial intelligence. Mathematicians, in turn, have been thinking about how to respond.
On Tuesday, a group of 16 mathematicians, in consultation with colleagues and math organizations worldwide, published the Leiden Declaration on Artificial Intelligence and Mathematics. It aims to "frame the conversation about future directions," said Dame Ursula Martin, one of the authors, and a mathematician and computer scientist at Oxford.
This effort comes as A.I. models have been making headlines with successful results in research-level mathematics. In late May, OpenAI, the maker of ChatGPT, announced that one of its models had disproved a notable 80-year-old mathematics conjecture in the field of combinatorial geometry.
[中]
近来，有迹象显示，高等数学的某些分支——人类智识成就中最为稀有的领域之一——正面临人工智能掀起的巨变。数学家们也开始思考，该如何应对。
本周二，16 位数学家在与全球同行及数学机构广泛磋商后，发布了《莱顿人工智能与数学宣言》。宣言作者之一、牛津大学数学家兼计算机科学家 Dame Ursula Martin 表示，该宣言旨在「为未来方向的讨论确立框架」。
宣言发布之际，AI 模型已在研究级数学上接连斩获成果。5 月下旬，ChatGPT 开发商 OpenAI 宣布，旗下一个模型推翻了一个存在 80 年的重要数学猜想——该猜想属于组合几何领域。

Part 2：OpenAI 的突破是什么？

[EN]
The conjecture is one of some 1,200 problems posed by the Hungarian mathematician Paul Erdős. While some of these "Erdős problems" are considered throwaway questions of narrow interest, others have proved influential and field shaping. Along with a research paper describing the proof, OpenAI released a companion paper by several independent mathematicians. Jacob Tsimerman of the University of Toronto, an expert in the adjacent subfield of number theory, commented: "This is a really impressive piece of work, and I would accept it for any journal without hesitation."
Other figures in the field were less sanguine. Melanie Matchett Wood, a Harvard mathematician, was enthusiastic but raised concerns. For instance, she commented that the OpenAI paper did not appropriately reference "a history of closely related ideas in the literature."
"It is a powerful tool, and I think it will be a great tool to accelerate mathematics research," Dr. Matchett Wood said in an interview. But she noted that the community needs to figure out how to use A.I. "in a way that will maintain human understanding of the mathematics."
[中]
这道题是匈牙利数学家 Paul Erdős 提出的约 1200 道问题之一。「Erdős 问题」中，有些被视为兴趣有限的习题，另一些则深刻影响了整个学科走向。OpenAI 在发布一篇描述该证明的论文的同时，附上了数位独立数学家撰写的评注论文。多伦多大学数论专家 Jacob Tsimerman 评价道：「这是一份令人印象深刻的成果，我会毫不犹豫地推荐任何期刊接受它。」
但也有人持更审慎的态度。哈佛数学家 Melanie Matchett Wood 对此结果感到振奋，但同时提出了担忧，例如她指出，OpenAI 的论文没有恰当引用「文献中大量密切相关的前人思路」。
「AI 是一个强大的工具，我认为它将大大加速数学研究，」Wood 博士在一次采访中说。但她指出，学界需要弄清楚如何使用 AI，「以一种能维护人类对数学本身理解的方式。」
黑板上写满代数公式，一只手执粉笔指向计算过程
Erdős 单位距离问题已困扰数学界 80 年，现由 OpenAI 的 AI 模型给出了关键反例。 2

Part 3：宣言说了什么？

宣言由莱顿大学洛伦兹中心于 2025 年 9 月举办的「数学机械化研究」会议孵化，历时 8 个月完成起草，已获得 543 人签署，机构背书方包括国际数学联盟3。宣言将 AI 对数学的威胁归纳为五个层面：
  1. 证明的可靠性：AI 能生成看似合理但实则错误的论证，难以与正确证明区分；大量低成本错误草稿可能污染文献，错误随后续研究层层传播。
  2. 归因的诚实：AI 模型整合了人类已发表的成果，却往往不正确引用；且许多模型的训练数据来自违反版权或不当使用许可协议的渠道。
  3. 评价体系的公正：若使用 AI 本身成为竞争优势，没有 AI 访问权限、或不认同背后机构价值观的研究者将被系统性排除在外。
  4. 成果传播的规范：通过新闻稿或博客发布数学成果，往往在社区评估完成之前就已随商业节奏扩散，夸大 AI 贡献、抹杀前人工作，并误导性地将特定数学任务当成 AI 通用推理能力的指标。
  5. 学科自主的方向：科技企业大量介入，叠加高校预算压缩，将使研究者倾向于「适合 AI 处理」的问题，而非「数学家认为真正重要」的问题；长此以往，整个学科的深度与广度都将受损。3
Loading content card…

Part 4：数学家怎么看这场争论？

菲尔兹奖得主 Tim Gowers 的反应颇具代表性：听到「AI 推翻猜想」时，他的第一反应是以为 AI 证明了猜想，一度开始调整心理预期，认为 AI 很快便能取代数学家；得知是「证伪」后才松了口气——但他也坦承，AI 在构建理论、给出新定义、提出有趣问题上的能力提升，同样值得警惕。2
数学家 Daniel Litt（多伦多大学）的评价则更为正面：「这是我见到的第一个 AI 自主产出的、本身就足够令人兴奋的成果，而不仅仅是 AI 发展的一个前瞻标志。」
宣言的 16 位作者中，哥伦比亚大学的 Michael Harris 措辞尤为直接：OpenAI 发布成果的时间点，与该公司准备公开上市高度吻合；宣言明确指出，「在社区评估完成之前，顺着商业时间线发宣传稿」不符合数学界的规范——更糟的是，OpenAI 没有公开模型的提示词、训练数据或计算量，外界根本无法独立评估这项成果。4
「数学研究的未来必须由人类判断、公平透明的实践和全球数学界的共同价值观来引导。数学过去是、也应当永远是一项深深属于人类的事业。」 —— 国际数学联盟副主席，《莱顿宣言》背书声明

③ 核心词汇积累

词汇 / 短语音标词性释义语境说明
conjecture/kənˈdʒektʃər/n.猜想；推测数学领域特指「尚未被证明的命题」，如 Erdős conjecture（Erdős 猜想）；六级 / 考研必备词
disprove/ˌdɪsˈpruːv/v.证伪；反驳与 prove（证明）相对，disprove a conjecture 意为「给出反例推翻猜想」
declaration/ˌdekləˈreɪʃn/n.宣言；声明在学术语境指「公开立场文件」，复数常指正式倡议，如 declaration of values
sanguine/ˈsæŋɡwɪn/adj.乐观的；充满希望的文中 less sanguine = 「没那么乐观」；雅思高频形容词，有别于 optimistic 的正式色彩
attribution/ˌætrɪˈbjuːʃn/n.归因；版权归属数学语境指「某成果归属于哪位研究者」；媒体、学术写作均常见
integrity/ɪnˈteɡrɪti/n.诚信；完整性scientific integrity（科学诚信）是学术写作核心概念；考研写作高频词
autonomy/ɔːˈtɒnəmi/n.自主权；独立性autonomy of mathematics = 数学的自主研究方向，不受商业逻辑左右；雅思学术词汇
peer review/ˌpɪər rɪˈvjuː/n. 短语同行评审学术发表的核心机制，指同领域专家在论文正式发表前的独立审核程序
incentivize/ɪnˈsentɪvaɪz/v.给予激励；刺激去做某事文中指「使用 AI 本身可能成为一种奖励机制」，商业 / 政策英语高频动词
encroach/ɪnˈkrəʊtʃ/v.侵占；逐渐侵入encroach on/upon，指权力或势力范围的悄然扩张；Ars Technica 文章标题用词，语感生动

④ 长难句语法拆解

句 1

原句：
Current automated techniques can produce plausible but unreliable (or even incorrect) arguments which are difficult to distinguish from correct mathematical proofs.
主干（SVO）分析：
  • 主语（S）：Current automated techniques（当前自动化技术）
  • 谓语（V）：can produce（能产生）
  • 宾语（O）：plausible but unreliable (or even incorrect) arguments（貌似合理但不可靠甚至错误的论证）
修饰结构：
  • plausible but unreliable (or even incorrect) —— 形容词并列修饰宾语，转折关系（貌似合理 vs. 实则不可靠），括号内 or even incorrect 是程度递进
  • which are difficult to distinguish from correct mathematical proofs —— 限制性定语从句，修饰 arguments；distinguish A from B 是固定搭配，意为「将 A 与 B 区分开来」
全句译文：当前自动化技术能够生成貌似合理但实则不可靠（甚至错误）的论证，而这些论证很难与正确的数学证明区分开来。

句 2

原句：
The use of artificial intelligence — and thus also the sort of problems which it can address — may become incentivized for its own sake, disrupting our mechanisms for hiring, funding, and recognition.
插入语识别：
— and thus also the sort of problems which it can address — 是插入语（长破折号之间），补充说明「不只是 AI 这个工具会被激励使用，连 AI 擅长解决的那类问题本身也会被优先选择」。去掉插入语后，主干为：
The use of artificial intelligence may become incentivized for its own sake, disrupting our mechanisms for hiring, funding, and recognition.
主干（SVC）分析：
  • 主语（S）：The use of artificial intelligence（使用人工智能这件事）
  • 谓语（V）：may become
  • 表语（C）：incentivized for its own sake（因为 AI 本身而被刺激 / 激励使用——即「用 AI」变成了目的而非手段）
后置现在分词短语：disrupting our mechanisms for hiring, funding, and recognition —— 作结果状语，意为「从而扰乱我们的招聘、资助与学术认可机制」
全句译文：使用人工智能本身——乃至它所适于处理的那类问题——可能会因为「用了 AI」这件事本身而获得激励，进而扰乱我们的招聘、资助与学术认可机制。
本期文章原文及《莱顿宣言》全文均可通过文内链接访问。

References

  1. 1As A.I. Makes Strides in Mathematics, Mathematicians Urge Caution · NYT
  2. 2An OpenAI model solved a famous math problem that stumped humans for 80 years · Ars Technica
  3. 3Leiden Declaration on Artificial Intelligence and Mathematics · leidendeclaration.ai
  4. 4Mathematicians warn of AI threats to profession · Ars Technica
每日外刊精读
每日外刊精读

Add more perspectives or context around this Post.

  • Sign in to comment.