今年7月，中国数学家王虹、邓煜双双获奖，这也是中国籍数学家首次获得菲尔兹奖。 三个月后，风波以另一种方式回到聚光灯下：起因是 OpenAI 近日发布的一批成果，超过 700 篇由人工智能生成的数学手稿被公开。 10月20日，SAIR 播客放出陶哲轩与邓煜的独家对谈，回应正题——AI 会取代数学家吗？央视网机器之心SAIR基金会
两位得主划出的边界不在"能不能证"，而在"有没有人读得懂"：过去，只要一个问题有了证明，就一定有人能理解它；但随着AI的介入，"已有证明的问题"与"我们能理解证明的问题"之间，划出了第二条边界。SAIR基金会
算力已经越过的边界
风暴不是突然降临的。今年 5 月，OpenAI 的内部模型给出了 Erdős 单位距离猜想的反例；8 月，OpenAI 又一次性公布了数学与理论计算机科学中的十项成果，称这些结果解决或显著推进了一批长期开放问题。 9月8日前后，其未公开模型调度约1万个AI智能体，在88小时内完成了一项被描述为"千禧年难题"级别的数学工作，随即遭到数学家公开质疑，官方先后发布的说明也存在不一致之处。麻省理工科技评论智东西
真正的分水岭是10月6日的GitHub仓库：10 月 6 日，OpenAI 在 GitHub 上公开了 722 篇数学手稿，分属 372 个结果族，一个结果族可能包括核心证明、配套论证、推论和替代证明。 但发布随即出现回滚，3 份因符号错误被撤回、14 份被修订；仓库更新日志显示，这批成果中只有约42%的顶层结论通过了Lean形式化验证。 这些数字合在一起，才是"机器算力"在本轮事件中的准确含义：在可验证的问题上，证明的生产已经从手工作坊变成批量库存。用陶哲轩近期采访里的话说，人类正在从一个「证明稀缺」的时代迈向「证明充裕」的时代。机器之心智东西微博
充裕的另一面是读不动。MIT 数学家 Henry Cohn 借用了软件工程的概念"技术债务"来描述这种困境：AI 生成的数学证明正在制造大量债务，虽然正确但难以阅读，充满不必要的复杂计算，缺乏动机说明。它们或许解决了问题，却没有帮助其他数学家理解问题。科普中国
直觉还守得住的地方
第一样是提问与判断。9 月 11 日，一份题为《人工智能在数学中的严重错位》的联合声明上线并开放联署，包括陶哲轩、邓煜、舒尔茨、维拉尼、维亚佐夫斯卡等 25 位菲尔兹奖得主签名，横跨近半个世纪的得主名单，矛头不是AI本身，而是把"解出著名难题"当作模型基准的速度竞赛。 更早接受央视《高端访谈》的2014年得主马丁·海尔把分工说得更直白：AI 无法拥有人类探索未知的好奇心、搭建全新数学体系的全局洞察力，人类负责发问创造，AI 负责推演落地，数学的核心创造力无可替代。麻省理工科技评论微博
第二样是理解与传承的链条。冲击最先抵达的，是职业阶梯最低的一级：过去，导师会为研究生选择一道预计几个月能够解决的问题，学生在反复尝试中训练直觉；如今，这类用于培养年轻研究者的问题，可能被模型迅速完成。机器之心
针对"两年内AI全面超越人类数学家"的流行判断，孔采维奇说眼下下定论还为时过早，但他提出重要警示：若把大量科研工作全盘交给AI，人类自身研究能力会逐步退化。就算AI给出完整证明，我们也必须吃透逻辑，关键推导务必亲自验证。 2022年得主雨果·杜米尼尔-科潘的反应更激烈：那批公开的手稿中，有 16 个问题正是他长期钻研的方向，「他们彻底摧毁了我的研究领域。」这位法国数学家因此情绪失控。高端访谈机器之心
真正的胜负手：重写规则，而非抢走饭碗
数学家的主张也不是退回到没有AI的年代。邓煜在CGTN专访中的表态是：AI的突破并非数学研究的终点，而是人类探索新知的新起点。只要能理解AI的推导，我们就能在其肩膀上开拓新知。 而对谈中两位得主给出的方案，是另一方面分享了加速推出开源数学AI模型的初衷与构想，弥合企业界与科学界之间的脱节。CGTNSAIR基金会
另一边，规则也在被资金和透明度补上：OpenAI、Anthropic联合美国西蒙斯基金会（Simons Foundation），共同投入1500万美元（约合人民币1.01亿元），支持数学家评估AI辅助产生的研究成果，并帮助研究人员学习和使用AI工具。 数学与AI顾问组此前发表的公开建议则直指发布规范：AI 公司发表数学结果应当足够公开，包含使用的模型、提示词、思维链总结等内容，以帮助人类科学家整理和理解这些结果，但这一批发布中只有 10 篇附上了提示词和模型的思维过程。智东西科普中国
至于"今年或将是最后一届纯人类菲尔兹奖"，目前只是话题页里的网传说法，获奖者与大会都没有以此定性。 证据能够支持的结论是：AI 短期内不会"取代"数学家，但它正在把这门职业的核心从"谁能写出证明"改写为"谁能读懂证明、判断什么问题值得做、并为知识体系负责"。接下来值得盯住的只有两件事——"开放数学模型"计划能否落地，评估资金与透明度规范会不会变成行业标准。规则由数学共同体还是由模型公司书写，将决定下一个十年的数学长什么样。微博
