登录
10月15日，菲尔兹奖得主陶哲轩在接受数学科普频道 Numberphile 采访时说，他觉得自己正在见证"数学浪漫时代的终结，那个英雄辈出的时代"：其他学科几个世纪前就完成了这种转变，数学却一直保留着黑板与粉笔的传统，人们仍在流传安德鲁·怀尔斯独自在阁楼钻研七年、攻克费马大定理的传奇。 "但现在，我们正在进入一个工业化时代。数学研究将变得更加大规模化，依靠大型团队协作，就像其他科学领域一样。"这段题为"No More Heroes"的访谈由 Numberphile 于10月15日发布，两天内就被大量中字搬运到国内平台，并在17日登上热榜。微博哔哩哔哩
这不是天才数学家的怀旧感伤。"工业时代"是他今年7月在费城国际数学家大会（ICM）上系统铺陈的判断的通俗表述，而演讲后的三个月里，数学界几乎按他的预言逐条上演了一遍。
"工业时代"划分的是生产方式
7月24日，陶哲轩在2026年费城ICM上发表题为《人工智能时代的数学》的公众演讲。他没有从"AI又解决了哪道题"讲起，而是提出一个工作假设：假设AI很快能以可接受的成本、在一定人类监督下承担相当一部分研究级数学任务，数学共同体该如何应对。麻省理工科技评论
支撑这个假设的，是他参与发起的评测项目 First Proof——今年5月底，四套AI系统在严格保密条件下测试10道取自真实研究过程的未公开新题，解出了7道，每道题至少有一份解答达到学术期刊审稿标准，单题计算成本约10至1000美元。 但答案里仍频繁出现引用错误、解释不足这类低级失误。DeepTech深科技
陶哲轩划的真正分界线不是"AI会不会做题"，而是一道题何时才算被真正解决。他把"解决"拆成一条知识链：从未经核验的证明出发，依次经过验证、阐释、同行接受和知识整合，最终才成为稳定的数学知识——AI能大幅加速的是最前端，后面几个环节仍然只能靠人。 当证明从稀缺品变成大量过剩的产出，研究流程被拆解成人与AI分工的流水线，数学就从"手艺人时代"转入"工业时代"。有意思的是，7月演讲时他本人并未直接使用"工业化"一词，这个标签是媒体从他描绘的图景中提炼的；10月15日，他正式认领了它。机器之心DeepTech深科技
三个月里，事实跑在了预言前面
9月8日，OpenAI宣布其模型攻破了纳维-斯托克斯方程这一千禧年难题。按其披露，这背后是一个未公开的内部巨型模型、约1万个AI智能体、88小时的连续工作，并完成了Lean形式化验证——人类数学家几十年没有头绪的问题，机器用了不到四天。新智元
陶哲轩本人不是AI的反对者，他曾用过一个著名的比喻：AI像直升机，把他空投到数学答案附近。 但9月10日，他发文警告"AI正在杀死延续数百年的开放科学传统"：数学真正的珍贵之处不在答案，而在标示哪些方向值得投入的"难度地形"；当任何被透露的研究方向都可能引来算力穷举式抢发，数学家将再也不敢公开自己的研究方向。36氪新智元
10月6日，OpenAI一口气放出700多篇AI独立生成的数学手稿，覆盖372个结果，平均每个问题只花了约3小时算力。 而据后续梳理，所谓722篇论文里只有162篇的主要结果通过了计算机验证，发布第二天OpenAI就撤下了3篇手稿、又修订了一批。生产速度远超验证与消化速度，陶哲轩所说的"证明的消化不良"当众显形。新智元APPSO
冲突随之升级。同年8月才成立、会员约800人的"人类数学协会"发布声明，敦促数学家停止与OpenAI的合作。APPSO
陶哲轩在个人博客转载了这份声明，网络随即流传"陶哲轩领衔发出抵制声明"的说法——但事实上他本人并不在这份名单里，所谓"领衔"只是二次传播造成的失真。 更早一些的9月，包括陶哲轩、邓煜在内的二十余位菲尔兹奖得主已联名发布声明，警告AI公司的"数学军备竞赛"正在偏离数学的真正目的（各方报道的领衔署名人数存在25位与28位的口径差异）。APPSO
比解题更稀缺的能力
10月9日，陶哲轩在加州理工贝克曼礼堂做了一场演讲。原定题目叫《机器辅助证明》，但过去几个月"世界已经天翻地覆"，他改写了整个演讲，新题目是《数学2.0》。 演讲中他抛出一个令人后背发凉的思想实验：AI研制出一种抗癌药，临床试验全部通过，但没有任何人能看懂它的作用机理——这副药敢不敢吃？ 一个无人能理解的形式化证明与此同理：数学是物理学、密码学和现代工程的地基，当地基本身变成黑盒，“正确"将不再等于"可信赖”。新智元哔哩哔哩
数学2.0的答案，是把重心从"解决开放问题"转向"生成人类理解"——提出值得问的问题、阐释证明为何成立、把碎片化成果整合成可用的知识网络。陶哲轩在ICM演讲上引用过经济学里的古德哈特定律给旧评价体系判了死刑：当一个指标成为优化目标，它就不再是一个好的指标。工业时代里，稀缺的从"证明"变成了"理解"。DeepTech深科技
所以他对新时代的"不情愿"接受其实是有条件的：先教学生传统数学方法，再引入工业化工具，就像先教孩子手算、再允许他用计算器。 对圈外读者，判断这场变革成色的信号也在这里：接下来值得盯的，不是AI又宣布解决了几个猜想，而是那700多篇手稿里有多少被人类真正读懂、验证并纳入引用链。英雄时代的落幕不是数学家的终结，终结的只是"一个人扛起整个学科"的时代。微博
