25位菲尔兹奖得主联名:AI正在杀死数学——不是不够强,是太强了

2026年9月11日，mathandai.org上线一封公开信：《数学中AI的严重错位》。签名25个，全是菲尔兹奖得主（数学界最高荣誉，四年一评、只给40岁以下）。从1978年的Deligne到2026年新科邓煜，横跨48年，在世者的一大半都签了名。👤陶哲轩（2006年菲尔兹奖得主、当今最有影响力的数学家之一）说，局势紧急到「来不及走更周全的协商程序」[2]。

抗议的对象反直觉：不是AI不够强，是太强了。就像短跑赛道开进一辆摩托车：比谁快它确实最快，可「短跑」这项运动本身，就没了。这辆摩托车，正在拆数学的跑道。

🔑 费曼摘要：数学界最高荣誉的得主们集体说：解题从来只是理解的替身，理解与传承才是本人。AI公司把替身做成了竞赛基准，手段被当成了目的。三件坏事正在发生：抢发不写全、无人做传承、这套剧本将降临每一份智力工作。AI没有杀死数学的难题，杀死的是数学的目的。

25个名字，凑齐了数学界的最高阵仗

先看清这份名单的分量。

菲尔兹奖有多稀缺：每四年在国际数学家大会颁发一次，每次只评3到4人。诺贝尔奖每年发十几个，菲尔兹四年一届，还只认年轻人。

🔗 推导：[1978到2026，跨度48年] → [四年一届，前后13届颁奖] → [25个签名覆盖了其中11届] → [这不是某一代人的意见，是在世得主的主体]。

外电的形容更直白：这几乎是「拿过最高荣誉且仍在世的数学家的一大半」[3]。年过八旬的Deligne拿奖时，邓煜还没出生。

一个参照：相当于体育界历届金球奖得主集体联名喊停一项技术。菲尔兹奖90年历史上，没有先例。

把25个人的分量加起来，才够得上下这个判断：解题，不等于做数学。

他们抗议的不是能力，是三件正在发生的坏事

⚠️ 三件伤害一层比一层深：署名、传承、全行业。

宣言第一段就把态度亮明了：大语言模型的数学能力过去几个月「暴涨」，已经能解出多个领域的重大难题[1]。25个人，没有一个否认这件事。

他们否认的是：解题等于做数学。宣言列出的伤害有三层。

第一层：抢发，不写全。这些解常常「在仓促中宣布」，来不及写完整的书面证明，来不及把新方法单独提炼，也来不及引用前人的工作[1]。跟所有创造性行业一样，这直接恶化署名与抄袭问题。夏天那场纳维-斯托克斯争议，就是这个问题的现场版，下文细说。

第二层：没人做传承了。这是整份宣言最扎心的一段。一项新数学从诞生到「活下来」，要经过讲演、讨论、简化，最后写进教科书[1]。到那一步，连本科生都能学。这个把新思想「养大」的过程，数学界称为正典化（新成果进入教材、成为下一代常识的二次开发）。AI想出的思想，需要数学家投入几年去做正典化。如果不做？宣言的原话是：「永远不会真正活起来」[1]。奖牌越产越多，学校却没人教书了。

第三层：不止数学。宣言明说，同样的错位正在其他科学和创造性行业上演[1]。它最终指向全人类：当AI改变工作方式，如何不忘记这份工作原本要达成什么[1]。

🗣️ 说人话：解难题相当于数学界的「比赛成绩」，理解与传承相当于「训练体系」。现在的局面是，有人只刷成绩，不建训练体系，而且刷得比谁都快。

注意，三件事没有一件在说「AI不行」。这份宣言最特别的地方：靶心不是能力，是激励。激励错在哪，一个词可以讲完。

解题是替身，理解才是本人

👁️ 错位的锋利之处：双方各自合理，撞在一起互相摧毁。

宣言的原文逻辑分两步。第一步，名题为什么重要？它们是「地标和灯塔」，解出一道名题，传统上意味着背后长出了新的理解、新的方法[1]。换句话说，解题从来不是目的，而是理解的证明。

第二步，AI公司把「解题」当成了基准（benchmark，衡量模型水平的标尺）和发布会数字。当证明变成产品，快，就成了唯一的美德。

🧠 机制，Goodhart定律的学科级现场：当一个指标变成目标，它就不再是个好指标。解难题本是理解的替身（proxy，代理指标）；替身一旦可以直接量产，就没有人再投资理解本身。这不是数学家矫情，是所有评价体系都会得的病。考勤成了目标，加班表演就开始了；论文数成了目标，一篇文章拆三篇发就开始了。数学界只是第一个被AI把替身成本打到零的领域。错位这个词同时描述了两组人。AI公司没有撒谎，解题确实最好测量、最好传播；数学家也没有守旧，他们抗议的是手段吃掉目的。手段被当成了目的，这才是25个人深夜联名的全部原因。这意味着，他们抗议的不是一项技术，而是一套激励：当解题能换发布会掌声，理解就成了最不划算的投资。

让宗师们觉得「来不及走程序」的，是一个夏天里连续炸响的三声炮。时间线拿出来看，几乎像排练过。

导火索烧了一个夏天

📅 三个月的加速度：

• 7月：🏷️Anthropic（Claude的开发商）研究员Alpöge用公司模型Claude Fable 5，推翻了提出87年的雅可比猜想（代数几何著名难题），官宣方式是世界杯决赛夜的一条社交媒体发帖[3]
• 8月底：OpenAI用约10000个并发agent（同时自主干活的AI程序），88小时解开一道纳维-斯托克斯方程（千禧年七大数学难题之一）相关难题，成本以百万美元计[3]。自己算笔账：10000×88＝88万个agent小时，烧在一道题上。随后NYU数学家Buckmaster公开质疑：OpenAI是否接触过两人未发表的思路？OpenAI否认[3]
• 9月8日：👤陶哲轩在学术社交网络mathstodon连发四帖：名题矿藏正被「不可再生」式开采。他此前在国际数学家大会的报告中，已把这轮冲击称为数学的「第二次基础危机」[7]
• 9月11日：25人宣言上线，跳过惯常的协商程序[3]

🔗 推导：[解题成本打到百万美元级] → [名题从「十年一遇」变成「月供」] → [解题失去稀缺性] → [学科的价值锚必须重新定位] → [最高权威出面画线]。

这就像一片埋了几百年的富矿，突然来了一支机械化部队：不勘探、不选矿，挖完就走。矿没了是小事，矿工的传承断了，才是他们真正怕的。

本号五天前写过：费马大定理被AI形式化之后，值钱的不再是发现，是验收[4][5]。25位得主的这份宣言，等于给这个判断盖了数学界最高级别的章。这件事的本质是：发现被量产后，学科的定价权正从「谁解得快」移向「谁养得活」。

但这份名单里，少了一个今年刚上台领奖的名字。他的缺席，和25个签名一样有信息量。

同一届领奖台，走向两条路

今年国际数学家大会的领奖台上，新科得主Tsimerman当场宣布：离开多伦多大学，加入OpenAI的安全团队。他的理由直白：与其在场外围观，不如进场改造[3]。

他没有签这份宣言。同届的邓煜，签了。

两条路摆在整个学科面前。进场派认为AI很快会做得「更好更快」，规则要在公司内部争取。画线派认为激励结构本身就是腐蚀源，共同体必须在外部立规矩[3]。同一届最高荣誉，公开分岔，这在菲尔兹奖历史上同样是第一次。

这不是茶余饭后的站队。哪条路赢，决定未来十年「什么算做数学」的定义权在谁手里。

战场已经开打。而中文世界，还在看夏天的旧地图。

🇨🇳 中文世界还在看夏天的旧地图

📰 到本文写作时，这份宣言在Hacker News已有600余赞、650余条讨论[6]；中文全网，还找不到一篇成篇报道。

我检索过：关键词命中的全是今年7月的旧闻。那时Tsimerman入职OpenAI，「菲尔兹得主预警AI可能杀死数学」刚刷过一轮屏。宣言本身，零翻译、零讨论。这个空窗不会太久，但它说明一件事：中文圈对这轮讨论的入场，还差一篇像样的转译。

为什么值得转译？三个理由。第一，邓煜在签名名单里，这份宣言与中国数学界直接相关。第二，宣言的靶心是基准竞赛。中文科技圈又恰好是全球最热衷「跑分」「秒杀」的舆论场。25个人抗议的，恰恰是这套叙事的底层逻辑。核心判断：跑分叙事的合法性，第一次被一个学科的最高权威集体质疑。第三，今年6月数学界已联署过莱顿宣言（一份关于AI的声明，3000余人签名）。本宣言开放追加签名，正在看它能否滚成更大的雪球。

我的判断（置信度中高）：两周内中文报道会补上。但大概率沿用「数学家反对AI」的框架，把精密的评价体系声明读成情怀新闻。可证伪条件：两周内若出现抓住「错位与替身」骨架的深度中文分析，此判断作废。

两周内见分晓：三个可检验的信号

💡 三个信号一个自查，全部可检验。

信号一：签名数。宣言开放ORCID（学术界的统一身份账号）追加签名[1]。两周内若从25涨到数百，集体行动成立；若停在几十，就退回精英表态。今年6月莱顿宣言3000余人签名后讨论迅速降温，是现成的衰减先例。

信号二：发布规范。宣言把矛头明确指向AI公司[1]。若头部公司把「完整证明、规范署名、引用前人」写进发布流程，错位的实害会大幅缓解。若回应只有更强的解题演示，说明对抗升级。🏷️OpenAI的表态最值得盯：纳维-斯托克斯争议后，它是被质疑最重的当事人。

信号三：反例。若AI开始大规模生成有价值的新问题，而不是消耗存量名题。那「矿藏枯竭」的前提就松动了，紧迫性叙事要重估。

最后一个自查，比围观数学界更要紧：你的工作里，哪些是替身，哪些是目的？考勤是替身，产出是目的；论文数是替身，理解是目的。当AI把替身全部量产，剩下的那部分，才值得做深。

数学界按响了门铃。开门的会是AI公司，还是每一个靠多年训练换产出的行业？答案不在门后，在门这边。

参考来源

[1] Math and AI, "A Severe Misalignment of AI in Mathematics", Sep 11, 2026.[2] Terence Tao, "A Severe Misalignment of AI in Mathematics" (确认签署), Sep 11, 2026.[3] OfficeChai, "25 Fields Medal Winners Including Terence Tao Sign Declaration Saying Rapid AI Proofs Are Harming Math", Sep 12, 2026.[4] 本号, "11天1300万行：AI给358岁的费马大定理，当了回验收员", 2026-09-06.（姊妹篇）[5] 本号, "费马大定理之后，值钱的不再是发现，是验收", 2026-09-07.（姊妹篇）[6] Hacker News, "A Severe Misalignment of AI in Mathematics" 讨论帖（`600`余赞`650`余评）, Sep 2026.[7] Terence Tao, "Open math problems being non-renewably mined（mathstodon四连帖，另见ICM 2026大会报告）", Sep 8, 2026.