陶哲轩对"数学新时代"的解读，浓缩成他自己命名的框架：Math 2.0。AI 把数学推出了一个运行了近百年、以"证明稀缺"为默认前提的时代，整套围绕"谁先解出重要难题"运转的评价体系开始失灵，学科竞争的重心应当从"拿到答案"转向"人类是否因此多理解了什么"。 但这不是反技术宣言，他给出的判断同样锋利：继续只把解题当指标，会伤害数学的长期健康。机器之心量子位
新时代的关键词是供给：证明不再稀缺
"证明泛滥"不等于AI横扫数学，陶哲轩自己把边界划得很清：目前处于数学研究前沿的大多数问题仍然没有得到解决，即便投入巨额计算资源也是如此。 公众看到的成功案例大多是精挑细选的结果，失败的尝试从不占头条，所以他呼吁把算力消耗、失败样本一并纳入透明评估。机器之心
为什么冲击先从数学开始？在陶哲轩的梳理里，这是三个条件的叠加：证明对错可以被客观检验，数学对象和推理过程高度数字化，再加上几个世纪积累的高质量文献已经全部上线，恰好喂饱了机器学习最需要的东西。量子位
真正的问题不是解出来，是消化不了
陶哲轩的担忧集中在答案之后。他描述一个证明的完整生命周期时说得直白：生成解答、形式化验证之后，还有理解、消化、进教材三步，而AI目前只疯狂加速了前两步。结果就是大量证明被生产出来却没人读得懂、没人解释、没人发表——他自己称之为"证明消化不良"。
在他的生态模型里，未解问题更像"灯塔"：抵达从来不是目的，价值在于它引着研究者探索周围整片海域，沿途长出的工具与方法往往比答案本身更珍贵。 而机器抢答的破坏是单向的：一个问题一旦被宣称解决，就再也回不到未解决的状态了。 这也是为什么他坚持"验证和理解不是一回事"——哪怕AI给出的抗癌疗法过了形式验证和三期临床，注射之前你可能仍想知道它凭什么有效。机器之心量子位
这套担忧有具体的近期锚点。OpenAI宣称解决了纳维–斯托克斯千禧年难题的一个版本，在《新科学家》专访中，陶哲轩描述那份结果：留下上百页AI生成证明，几乎没带来数学洞见，有同事借助AI钻研数日也只解释了一半；他把这种发布方式称为"自动化掠夺式开采"。数智奔流
半年之内的"转向"：他反对的从来不是同一样东西
今年三月，陶哲轩还在公开场合断言AI在数学领域"正经历一场哥白尼革命"，鼓励同行把AI放进工作流。 到九月，他与包括 Peter Scholze、邓煜、Pierre Deligne 在内的多位菲尔兹奖得主联署公开信，警告AI与数学正在出现"严重错位"。量子位中国新闻网
十月初风向彻底激化，他在演讲和访谈里反复讲的那句话被做成了热榜词条：数学界已从2025年之前的"证明稀缺"进入"证明泛滥"时代，通往答案途中的方法创新才真正推动学科前进。知乎
导火索是发布方式本身：十月初OpenAI一次性释出722份AI生成数学手稿，陶哲轩随即在博客转载"人类数学协会"（AHM）的客座声明，呼吁数学家停止与OpenAI合作。 据该协会十月下旬公布的名单，其成员已增至1008人，其中654人签下"无AI"承诺。面对围攻，OpenAI的回应是在普林斯顿高等研究院设立一个"数学与人工智能顾问小组"；但其官方声明同时写明，顾问小组将不负责就数学上的内部进展提供建议。 把三段连起来看，陶哲轩的立场其实没漂移：支持AI进研究，反对把难题当基准刷、把结果当天书倾倒——后者可能还会带来他更深的隐忧：下一代AI若以人类读不懂的AI证明为食，后果无人知道。数智奔流量子位
Math 2.0 的另一面：他想加速的是"理解"
解读的下半篇不是刹车清单，而是一张路线图。他列出的新方向几乎全部围绕"读懂已有结果"：用AI给已经证明的定理寻找更清楚的证明，也就是所谓"开放阐释问题"；他预告了学生主导的活动Caltech Mathathon，计划于 2026 年 11 月 13 日至 15 日举行，对象包括四色定理、ABC猜想这类"已解决但讲不清"的问题。 同一场演讲里，他还举出AI改写实验数学尺度的例子：等式理论项目用众包加自动化，判定过泛代数中超过2200万个真假命题——研究重心从"案例"转向"普查"，从"抢答"转向"整理知识网络、扩充Lean形式化库、系统探索定理邻域"。机器之心
基础设施他也在动手：他参与推动的SAIR开放数学模型计划，第一阶段就面向日常研究需求，例如理解困难论证、核查引用、探索例子、编写代码，以及形式化证明等。 十月下旬他进一步在《Nature》撰文强调：数学不能完全依赖大型AI企业，数学共同体要建立自己的开放模型和研究工具。演讲收尾的那句话是对整个新时代的总判断：实现「Math 2.0」的主要瓶颈，不是技术，甚至不是制度文化，而是想象力。量子位机器之心
这套解读不是唯一声音，连"署名"都可能被认错
另一侧同样有名场面。图灵奖得主杨立昆唱的是反调：形式证明将大幅自动化，重点将转向发展新概念、新抽象、新定义和新猜想——船的发明降低了游泳的重要性，却让我们发现新大陆。 围绕这场争论，“卢德主义”"抢人饭碗"的嘲讽从未缺席，而普通读者的站队常常建立在错误的署名上。量子位
最新一例就在本周：11月1日，陶哲轩博客刊出长文《数学变了，按变了的样子行动》，讨论区大量把它当成陶本人的宣言——这篇文章的作者是 FrankCalegari（芝加哥大学数论学家），陶哲轩只是刊发者，观点归 Calegari 本人。 这篇长文对OpenAI手稿的判断毫不客气（“写得糟糕透顶”“有些甚至是错的”），落点却不在骂公司，而是数学界自己能控制的杠杆：招聘、期刊录用、学生培养——把"消化AI证明"也变成可以换来职位的正经工作。它的核心判断恰好是陶哲轩框架的延伸版：对悲观者，游戏结束了；对乐观者，游戏刚刚换了玩法。知乎
接下来该盯什么
信号至少有三处。发布方式上，OpenAI在10月26日释出数学、计算机科学、物理学三项新发现时，已改口称它们是"有待进一步理解的原始研究材料"，邀请外部专家核查解释；日程上，Mathathon在11月13日至15日举行，SAIR的开放数学模型据他预告"很快就会发布"；制度上，看AHM式承诺和期刊、招聘规则是否真的开始调整。至于这场变局会不会有"做完数学"的那天，他在专访里给了回答：不过，数学嘛，我们完全没有把它做完的危险。数智奔流
