陶哲轩要放缓的从来不是人工智能本身。恰恰相反，他是数学界把AI用得最狠的人之一：日常用大模型配合Lean证明助手做形式化，连他公开的那份"AI观点活体综述"都由AI持续维护。10月16日，他推动的开源数学平台SAIR Open Math OS又正式上线。他喊"放缓"针对的，是一件非常具体的事：科技公司把"解数学难题"当作AI能力竞赛的记分牌，并以人类根本来不及消化的速度，把海量AI生成的证明一次性倒进数学界。陶哲轩博客陶哲轩博客
这场表态在9月11日已经成形。当天他发布与其他24位菲尔兹奖得主联署的声明《A Severe Misalignment of AI in Mathematics》（《人工智能在数学中的严重错位》），核心指控只有一条：AI公司"把解决数学问题当作基准来推进，正在伤害数学这门科学和数学共同体"。一周后的10月6日，OpenAI在GitHub一次性公开700多份AI生成的数学文档；次日，“人类数学协会”（AHM）在同一博客回应，称一次性放出700多份文件不是学术能力的展示，而是力量的展示。据新智元报道，随后一段视频全网刷屏，画面里的陶哲轩面色凝重，他说我们必须放缓AI，现在的速度简直疯了，根本没有理由这么快——毫无理由可言。陶哲轩博客陶哲轩博客36氪
导火索：证明从"千金难求"变成"点击就送"
理解这场呼吁，要先接受一个事实：数学的运转前提被改写了。陶哲轩把传统数学称为"Math 1.0"，它建立在"证明稀缺"之上——费马大定理困扰了人类三百多年，直到怀尔斯在阁楼里闭关七年才得以证明。36氪
而这条赛道在2026年被密集刷穿：5月，一个出自OpenAI内部模型的反例，推翻了悬置近80年的埃尔德什单位距离猜想。9月8日，OpenAI宣布其未公开的内部模型通过约1万个Agent并发、仅用88小时就解决了纳维-斯托克斯方程问题，并完成了Lean形式化验证。36氪36氪
10月6日的仓库则包含700多篇AI独立生成的数学论文、涵盖372个结果，平均每个问题只花约3个小时的算力。36氪
但这条时间线上有一个被多数转述忽略的边界：这些结果基本都还没有经过同行评审。 按克雷数学研究所的规则，解题者要先在同行评审期刊发表成果、再经过两年考察期，才能领取奖金；数学界对纳维-斯托克斯成果是否构成原千禧年难题的解答也仍有争议。36氪
问题不在答案太少，而在人读不过来。数学家Sophie Huiberts在陶哲轩博客撰文统计，OpenAI把372个结果"切成腊肠片"散在719份PDF里，其中有足以撤稿的错误、承诺开放的代码并未附上、证明"极其难以解析"，直言这批文件"是内部基准测试排出的废气"。据知乎用户整理的讲座内容，陶哲轩说这批三百来项结果他自己只读了大约十篇。陶哲轩博客知乎
第一层原因：解题只是代理指标，真正被伤害的是"理解"的循环
联署声明里最容易被略过、却最能解释陶哲轩立场的一句话是："解题只是实现核心目标——概念理解与洞见——的工具和代理。"在证明稀缺的年代，这个代理长期有效：能证出难题，几乎必然意味着新理解与新方法随之而来；证明过剩之后，机器可以直接给出正确结论，而不携带任何人类能继承的理解。陶哲轩博客
更麻烦的是传承。证明一旦提出，作者有义务讲清哪些步骤是新思想，再经报告、讨论、简化，沉淀成学生能读的教科书内容；但"如果没有数学家愿意承担培育工作，这些思想永远不会真正活起来，代代相传的人类传承链条也会断裂"。同一周，代数教授Lozano-Robledo在陶哲轩博客写给学生的信里警告，最让他担忧的是"我们可能要失去整整一代数学家"——大量原本打算读博的学生正在改主意。36氪陶哲轩博客
速度还在瓦解支撑这套体系的开放传统。9月7日，就在OpenAI公告前一天，纽约大学数学家Buckmaster与供职于Anthropic的数学家Alpöge公布了同一方程相关方向上的成果，并指责对方"抢跑"；9月10日，陶哲轩愤怒发文，称AI正杀死数学百年开放传统，数学家已经不敢公开自己的研究方向。36氪
第二层原因：黑盒里的答案，数学只是第一块多米诺
陶哲轩把担忧做成了一个思想实验。在加州理工的"Math 2.0"演讲里，他假设一个无人能解释的先进AI被要求"找到一种能够通过三期临床试验的癌症疗法"，它交出一组全新化合物，数学模型经Lean形式化验证、也真的通过了三期试验——但没有任何医生或数学家说得清它为什么有效：注入你的血液之前，你希望不希望至少有一位人类理解它的机制？知乎
他为此配的幻灯片标题更直白：那一页写的是"强大的优化能力加上人类的理解不足等于目标错配风险"。数学在这里不是主角，而是实验场——这门学科几乎无法用"实用价值"自辩，人类理解本身就是它的目的；如果连物理、密码学与工程依赖的地基都变成无人能读的黑盒，其他领域的理解赤字只会藏得更深。声明因此把话留给了所有人：这些变化最终是造福还是破坏，很大程度上将由掌控这项新技术的人类如何决策来决定。知乎陶哲轩博客
被误读的"刹车"：他松开的是竞赛的油门，不是技术
把"呼吁放缓"读成"反AI"，与一手材料直接矛盾。声明承认"AI提供了增强和加速真正数学研究与理解的潜力"，他本人也没停手：SAIR平台刻意搭载比前沿落后约一年的开源模型，靠捐赠算力运行、免费向学术机构开放，用他的说法，它"不适合"近来常上新闻的"一把过"式解题，但足够做中等规模的Lean形式化和文献讨论。他要的不是更快的模型，而是共同体用得起、看得懂、可协作的模型。陶哲轩博客
制度层面的改造与"放缓"同时发生。原定10月30日的加州理工数学黑客松原本有OpenAI与Anthropic联合赞助，在联署声明压力下增加了验证期与出版要求，OpenAI随后宣布退出赞助。改期到11月13日至15日的Mathathon，任务从"解新题"换成了"用开源AI为老定理寻找更易懂的新证明"。36氪知乎
新的价值锚点也在被建立。有数学家借陶哲轩的博客宣布筹备新期刊，把"理解优先于抢首发"和"证明必须经Lean形式化验证"写进硬性标准。西蒙斯基金会则在10月15日宣布投入1500万美元，资助"AI时代数学"方向的类似倡议。他本人则在对《纽约时报》的访谈里形容自己正处于"战时状态"。陶哲轩博客陶哲轩博客陶哲轩博客
接下来看什么
陶哲轩说过，实现Math 2.0的主要瓶颈，不是技术，甚至不是制度文化，而是想象力。接下来值得盯住的信号有三个：11月中旬的Mathathon能否证明"为人理解而用AI"这条路走得通；SAIR的开源模型与"开放式阐释问题"能否拿到与解题同等的学术回报；以及那372个AI结果中，有多少最终能被人类破译、以规范论文的形式进入文献。证明稀缺的时代结束了，证明过剩时代的数学还剩下什么——这个问题，没有人能替数学共同体回答。知乎
校验提示文案
校验提示文案