数学家不会被整体取代，但"解出一道难题、抢先公布、赢得荣誉"这套运转了数千年的游戏规则正在失效。过去这个秋天，AI把"证明"这个环节批量接管了，数学家真正稀缺的活儿，正在从产出证明转向验证证明、理解证明和提出问题。
让这句话落到实处的，是两个月的连环事件。9月8日，OpenAI宣布其内部模型解决了纳维-斯托克斯方程的存在性与光滑性这一千禧年大奖难题。10月初，它又把722篇机器撰写的数学手稿一次性摆上开源平台。11月11日上线的播客访谈里，菲尔兹奖得主陶哲轩对此的概括成了这轮热搜的注脚：“我们已经从一个证明稀缺的时代，进入了证明过剩的时代”，“盯着单个问题这种想法，这种货币基本上已经被恶性通胀了”。界面新闻知乎
AI攻克的只是半道题，而且同行评审还没开始
先把"88小时破解千禧年难题"说准。OpenAI拿下的并非整个问题，而是题目四个选项中的C、D方向。也就是说，它构造了"施加光滑外力、能量始终有限时，光滑的流体解可以在有限时间内产生奇点"的爆破场景；至于更硬的"无外力时解是否永远光滑"，仍然无人碰下。OpenAI明确表示不申领那100万美元奖金。微博
“攻克"也不等于"验收”。截至9月中旬，这项成果仍未通过同行评审，而人类数学家在同一方向已经深耕近一年，优先权归属至今各执一词。按克雷数学研究所规则，解法须在核心期刊发表并经公示期才会被正式确认。微博
批量战报同样需要换算成真实胜率。OpenAI公开的内部模型成果覆盖数论、几何等多个领域，归为372组研究成果。但陶哲轩在10月16日UCLA报告里提醒大家看脚注：OpenAI一共试了约4000道题，成功只有约9%，91%全都失败了。微博知乎
热度的另一半来自事后追认。一个博主用AI对"近三年数学发现"做的非正式重排显示，发布当天榜单里81%出自OpenAI仓库。五周后重排，这个仓库在前20名里只剩15%。更细的质疑指向验证本身：有转述称，剑桥大学与伦敦国王学院的数学家核查后发现，纳维-斯托克斯论文的自然语言证明和交给Lean机器验证的代码"根本不是同一个东西"。知乎知乎
对照组恰好说明问题出在哪。法国教授克鲁泽22年前提出的猜想，今年夏天被GPT-5.6 Sol在一次断网、禁止读取外部资料的16小时运行中给出证明，随后安妮·格林鲍姆等多名数学家独立核验认为证明成立。同样被AI攻破，这一次人类几天内就把关完了——AI证明的瓶颈从来不在"会不会证"，而在"来不及审"。猜想提出者克鲁泽的回应是一句"我很满意，我的猜想已成为定理"。中国新闻周刊
数学界不是发牢骚，是在改规则
9月11日，包括陶哲轩、邓煜在内的25位菲尔兹奖得主联合发表《人工智能在数学中的严重错位》声明，直接批评AI公司把攻克数学难题当作能力比拼和营销素材。微博
应对不止于表态。陶哲轩开出的方案是升级数学本身：“应该引导AI去寻找新方法、新思路、新洞见，而不只是新证明。证明已经过剩，但能带来理解的洞见依旧稀缺”，并推动由数学社区共建治理的开放数学模型（SAIR项目）作为共享基础设施。规则也在往培养环节落地：10月27日，"人类数学协会"教学工作组发布建议，要求博士项目保留"完全不用生成式AI也能拿学位"的路径，并让学生、导师和委员会就AI使用订立书面协议。知乎知乎
中国数学家界则在组织自己的防线：菲尔兹奖得主丘成桐牵头，联合国内八家主要科研与教育机构成立数学与人工智能实验室联盟，目标是搭建连接千余名中国数学家的协作网络。抢发对个体的伤害已经具体化：卡内基梅隆大学一名博士生和团队钻研两年、即将收尾的项目，被AI系统用5天抢先完成并发表。微博微博
人机边界已经画出来了：裸考七成，开放猜想撞墙
姚期智等学者11月初发布的TCSExam把理论计算机科学研究拆成100道全部要求Lean 4内核逐行验证的考题。知乎
最扎眼的成绩来自定理证明赛道：GPT-6 Astra在"只给主定理、不给中间引理"的裸考条件下，20道题完整证出14道，成功率约七成；但一旦人类补上证明思路，Kimi从3道涨到7道、DeepSeek V4.1 Flash从0道涨到6道。考卷的结论很直白：七成证明的是AI能跟着严格框架走完一段推理链，而不是它理解了数学；而真正考验原创科研的开放猜想赛道，30道题权重只给了10%，因为模型"在这块基本还在撞墙"。知乎
一线研究者的体感和这份考卷互证。有数学研究者证实，哥德巴赫猜想、冰雹猜想这类问题AI至今做不动。知乎高赞里对分界的概括更抽象也更准，凡是能被明确打分的事，AI迟早会做得比人好，人不可替代的价值在那些没法被明确定义的地方。知乎知乎
验证环节同样省不掉人。为核查OpenAI"推翻Connes刚性猜想"的反例，堪萨斯大学的Nielsen把公开的37000行Lean 4代码从头追到尾，最终指出AI构造的其中一个群并不满足猜想需要否证的前提条件——机器验的是"证得对不对"，人查的是"证的是什么"。陶哲轩对此的说法是，形式化验证的是陈述本身，不保证陈述与人的意图相符，所以人类审查不能被取代。量子位
被替代的是"卖答案"，升值的是"讲明白"
把这几层拼起来，答案就清楚了：AI替代的不是"数学家"这个职业，而是职业里"生产证明"的那一层。3Blue1Brown创始人格兰特·桑德森把数学研究分成五层——证明定理、提出猜想、构建理论、寻找应用、沟通交流，而他认为AI冲击的恰恰是最底层。数学界那句老话——“好的数学家证明定理，伟大的数学家提出猜想，最伟大的数学家构建理论”——正被现实重新验证。知乎
对个人而言，靠"挑名人问题往前推一点再发表"晋升的路线正在失效，新的稀缺能力，是把机器给的结果重新解释成人的理解。现在的瓶颈是：哪些结果能在人与人之间讲清楚。他甚至透露，录制那期播客前两天，黎曼猜想有了重大进展——“不幸的是，这些思路是 AI 生成的，我们还不理解它们”。知乎
边界之外也有新动态：OpenAI已接近攻克另一道千禧年难题霍奇猜想。但按现有证据下结论要克制：无外力版本的纳维-斯托克斯条款、哥德巴赫、考拉兹仍在AI射程之外。所以"数学家会被取代"是过强判断；“以解题为唯一锚点的激励体系会被取代”，已经是进行时。证明过剩不是数学的末日，用陶哲轩的话说，那是数学2.0的起点——竞赛刚刚从"谁先拿到答案"换成"谁能把答案变成理解"。界面新闻
