10月23日，界面新闻放出陶哲轩与邓煜的对谈《AI与数学》，一句话直接刷屏：把解题当基准测试，犹如抛出“有毒废料”。知乎
全网第一反应：陶哲轩要跟AI决裂了。
先别急着站队——这位菲尔兹奖得主不是不会用AI，是比你用得还深。从2023年起他就拿OpenAI模型辅助计算、写代码、查文献、构思思路。去年11月，他解决一个经典Erdős问题时，从证明草案、简化证明到形式化验证，全流程都在用AI做助手。知乎微博
他真正点名的，从来不是工具，而是工具被怎么用。
先看时间线：10月初，OpenAI先是声称解决了困扰数学界近百年的纳维–斯托克斯方程问题，随后又一次性公布350多项数学发现，覆盖代数、数论、拓扑学等主要分支。官网同步放出的是一大批成果文件：722篇数学手稿、372个此前悬而未决的顶级难题家族。知乎知乎微博
那篇NS论文的表述很扎心：文章技术上“能读”，但陶哲轩接触过的专家，没人真正看懂整套论证。答案有了，理解没跟上——“有毒废料”就是这么来的。在他看来，OpenAI就是拿数学来满足自己的需要——“也就是评估他们的模型”。知乎
数学圈的火气，还不止于质量。他在博客《证明与提示》里写：问题一旦被提前交出答案，就像看过电影结局、填过字谜答案，再也回不到探索的状态。年轻博士生开始怀疑，自己受的训练还值不值。知乎
10月10日，他转发了多位数学家抵制OpenAI的文章。10月15日，他在Numberphile节目里感叹：“我们正在见证数学浪漫时代的终结，那个英雄辈出的时代。”。《纽约时报》写他现在的日常：大部分时间在协调数学界的应对，而不是做数学。知乎微博知乎
有意思的是，陶哲轩没停在抗议。同在10月23日，他的团队开源了open-math-harness——被网友戏称“AI数学抽卡器”：按官方说法，这套系统把开放前沿模型、科学计算云和协作工具集成在一起，数学界可以控制自己的数据。里面还有个主打Multi-Agent编排的Ultramath模式，玩法跟Claude Code/Codex里的Ultra模式比较像。他反对的不是AI做数学，是规则写在别人家的小黑屋里。知乎知乎
对普通人来说，这事真不是学术圈的遥远内战。想想你每天怎么用的AI：答案抄了、代码跑了、报告交了，你能解释为什么吗？没人验算的结果批量堆积，就是属于你自己的“有毒废料”。
陶哲轩的立场其实就一句：AI可以解题，但答案应该服务于理解，而不是替代理解。跑分证明AI有多强，证明不了你懂了多少。
最后留个提醒：这批成果发布时没有经过同行评审。OpenAI那边回应，公司重视与陶哲轩及整个数学界的合作，会继续听取社区反馈。而陶哲轩对模型能力本身，其实从没否定过。这场“战争”最后是以抵制收场、还是以重新立规收场？目前唯一能确定的是：数学界给AI做数学定规则这件事，才刚开始。知乎知乎
