中国数学家邓煜放话：若AI能解出所有数学题，他就回家写小说去

当地时间9月11日，25位菲尔兹奖（Fields Medal）得主联合发布了一份题为《A Severe Misalignment of AI in Mathematics》（《AI与数学界的严重失调》）的公开声明，直指AI公司争相“攻克”数学著名难题、并以此作为衡量模型能力基准的做法，正在对数学这门学科造成实质性损害。这份声明由陶哲轩（Terence Tao）发布在其个人博客“What's new”上，全文同时刊登于mathandai.org。

一份分量极重的联名信

这份声明的签署者阵容堪称当代数学界的“全明星”名单，涵盖1978年至2026年历届菲尔兹奖得主，包括陶哲轩、彼得·舒尔策（Peter Scholze）、玛丽娜·维亚佐夫斯卡（Maryna Viazovska）、考切尔·比尔卡尔（Caucher Birkar）、许埈珥（June Huh）、马丁·海尔（Martin Hairer）、马克西姆·孔采维奇（Maxim Kontsevich）、詹姆斯·梅纳德（James Maynard）、曼朱·巴尔加瓦（Manjul Bhargava），以及2026年新科得主、中国数学家邓煜（Yu Deng）等25人。

据陶哲轩在博客中介绍，这份声明源于数学家们过去一周内的密集讨论，他们认为当前局势已经到了需要公开表态的地步。

声明在担心什么

声明的核心观点并非“AI将摧毁数学”，而是警告：AI公司当前将数学问题求解作为衡量模型能力的“基准测试”，这种做法与数学研究真正需要的东西之间，存在着深刻的目标错位。

声明认为，当各大实验室争相把著名的、尚未解决的数学难题当作展示AI能力的“表演项目”时，这些问题本身便从“研究对象”异化为了“基准测试燃料”，解答被匆忙公布，却没有留出时间形成规范的论文写作、厘清哪些方法和思路是真正的创新，也没有充分交代该成果借鉴了哪些前人工作。

论文写作缺位：AI给出的解答往往“仓促公布”，缺乏严谨的成果梳理与写作过程

归属与抄袭隐忧：由于缺少规范的论文环节，很难厘清一项AI证明究竟建立在谁的思想之上，进而引发署名与抄袭方面的争议

代际传承受阻：数学家之间代代相传的知识传递链条，可能因此被削弱甚至切断

声明还提到，这一担忧并非空穴来风，此前已有数学家指控OpenAI的一套系统在公布数学进展时，未能妥善注明其借鉴的已发表成果，由此引发了署名争议。

“基准”与“理解”之争

在声明看来，传统的数学训练培养的不仅是“解出答案”的能力，更重要的是提出问题、深化理解的能力；而AI在解题能力上的飞跃，恰恰有可能把“产出结果”与“理解过程”割裂开来。声明也承认，如果能被负责任地整合进研究流程，AI本身具备加速真正学术研究的潜力，但最终走向如何，取决于人类如何对其加以引导和治理。

声明因此呼吁数学界、AI开发企业以及整个社会尽快正视这一问题：技术进步不应以牺牲学术探索、教育培养和创造性思考的根本目标为代价。声明发布后，仍在通过专门网页征集更多签名。

邓煜的“调侃”：解不出题我就回家写小说

值得一提的是，作为本次联署声明的签署人之一，2026年菲尔兹奖得主、现年37岁的中国数学家邓煜（芝加哥大学数学系教授），此前已在社交媒体上就AI冲击数学界的话题“语出惊人”。

“如果AI能解决所有数学问题，那我就回家写我的百合小说去。”

邓煜在社交媒体上如此调侃道。他同时坦言，AI已经给数学圈带来了一种“躁动不安”的氛围：“等这一波浪潮在未来一两年内过去，情况会逐渐明朗。数学本身会慢慢适应，一个新的生态正在形成。”

面对《南华早报》记者的追问，邓煜澄清这番言论“只是开玩笑”，并表示：“我不认为AI能够发展到解决所有数学问题的地步。”据悉，邓煜是日本“百合”（Yuri）题材漫画与小说的资深爱好者，据公开报道，他在收到菲尔兹奖得奖通知邮件时，正在阅读一部言情小说，看完通知后，他做的第一件事，就是继续读小说。

导火索：AI屡破数学名题引发的集体焦虑

这份声明的发布，也与近期AI在数学领域接连取得的“突破”密切相关。据报道，就在声明发布前不久，Anthropic旗下Claude模型曾在数学证明辅助工具Lean中完成了费马大定理的形式化验证；而在稍早的菲尔兹奖颁奖典礼上，2026年得主雅各布·齐默尔曼（Jacob Tsimerman）更是当场宣布，自己将离开多伦多大学、加入OpenAI安全团队，理由是他认为AI很快将能完成数学家的大部分工作。

在这样的背景下，25位菲尔兹奖得主的联名声明，被外界视为数学界对AI浪潮发出的一次罕见的、集体性的公开回应。

参考

https://x.com/Polymarket/status/2098487731051438424