「AI能否取代数学家？」菲奖得主们自己给出的答案并不一致。10月20日，陶哲轩与新科2026菲尔兹奖得主邓煜的对谈节目上线，主题正是"数学与AI究竟是什么关系"，首次正面回应了AI公开700多份数学证明后掀起的取代风波。但答案不需要等对谈公布——AI已经能取代"把答案做出来"，还不能取代"看懂为什么对"。过去三个月数学界的三派分裂，和普通人用AI解题的翻车与惊艳，都画在同一条分界线上。微博
真正炸场的不是能力，是发布方式
今年AI的"做题"能力是连环跳级的：从5月推翻埃尔德什的经典猜想，到9月宣布攻克千禧年大奖难题之一，再到10月初一次性公开七百余篇研究手稿。9月OpenAI还宣称用一万个AI智能体、仅88小时推导出纳维-斯托克斯方程——注意原文用的是"宣称"，这桩接近90年悬案的权威认定至今没有落地。知乎知乎
引爆点是10月6日：OpenAI在GitHub公开722篇数学手稿，分属372个结果族，据披露包含377项新证明，约三分之一涉及数学界广泛关注的重要猜想。知乎
让数学家破防的是方向：其中16个问题，正是2022年菲奖得主雨果·杜米尼尔-科潘长期钻研的方向。10月8日，他在法国数学会的线上讨论中说出了一句让全场沉默的话——“周二晚上，我哭了，还把女儿吵醒了”。更早的9月12日，陶哲轩已在博客发出联署声明，25位菲尔兹奖得主的名字都在上面，包括邓煜和彼得·舒尔茨。知乎晚点知乎
AI生成不再是瓶颈，"人读得过来"才是
发布两天后，OpenAI因手稿暴露的明显错误主动撤回3篇，仓库现存719篇。更麻烦的是验证方式：即使证明通过Lean形式化检查，也只能说明形式化命题内部逻辑成立，无法自动保证它准确对应自然语言手稿里的原始论证。而被引用的OpenAI自公布口径是：719篇里只有约42%的主结果完成了形式化，其余的正确性完全依赖人类逐行阅读。知乎知乎知乎
陶哲轩承认三百来项结果自己只看了大约10篇，同一周Anthropic在官方材料里写"人的时间和注意力是稀缺资源"。同一周内，OpenAI和Anthropic罕见地联了手：两家与美国西蒙斯基金会共同投入1500万美元，雇数学家来评估AI产出的成果。知乎智东西
菲奖得主的三种答案：抵制、退场、边用边吵
抵制流程：25人声明反对的不是AI解题，而是把数学共同体几十年积累的问题当靶子、用算力包圆抢发的玩法。陶哲轩转发过"人类数学协会"宣言——成员宣示不发表完全由AI生成的论文，但他本人不在其中。知乎
转身退场：两个多月前，雅各布·齐默尔曼在2026菲尔兹奖颁奖典礼结束后公布了一则令很多人意外的消息——他将放弃数学研究，转向AI领域；九月初他宣布成立数学AI安全研究所（MAISI），另一位菲奖得主蒂莫西·高尔斯受邀加入了它的科学顾问委员会。知乎
边用边吵：陶哲轩自己长期用ChatGPT做研究助手，10月在加州理工讲"Math2.0"，说AI正在冲击由来已久的职业，而数学研究近一个世纪大体稳定。三派选择的不是"AI行不行"，而是同一个问题的三个答案：谁来判定"解决了"、谁对结果负责、新人还练不练得出来。知乎
声量最大的两个"宣言"，都失真了
"菲奖得主称两年内AI将全面超越人类数学家"一度刷屏，溯源到源头，是邓煜9月转述的朋友圈判断：大约还有两年时间，AI发展会逐渐成型，能对行业做出什么改变大约也是两年后能看到。“全面超越"四个字是传播时加上去的。他"AI若解决所有数学问题就退休写言情小说"的说法，同样是个玩笑，却被全网误传了三次。另一个失真版本是"陶哲轩带头向OpenAI宣战”：有热帖称他代表人类数学协会发出了"强烈敦促所有数学家停止与OpenAI合作"的决裂声明。这与他的实际动作对不上：公开批评OpenAI的发布方式属实，但"全面抵制"忽略了他本人一直把AI当研究助手、还共同发起开放模型计划这条线。微博知乎微博
你经历的翻车，和数学家的头疼，是同一件事
把镜头拉回普通人的作业本，分界线还是那条：“有没有人能核验、题目给没给全信息”。9月底，新乡一位王女士花4800元买了台AI学习机，同一道题讲6遍，给出6个答案。有人把同一道题换十种问法喂给大模型，发现只要稍微改变一下题目的条件，或者换一种提问方式，它就不会了。知乎知乎
今年高考几何题的分裂最直观：带图的几何题，纯文本模型做不出来，而小尺寸的原生多模态模型已经能解出去年高考数学的几何题。惊艳时刻同样真实——高三学生拿DeepSeek恶补数学冲刺高考，是"真香"帖的高赞场景。知乎小红书
而最有说服力的"定价"来自一个兼职：给AI出数学题、不断加难直到它做错，时薪100美元。"AI还不会的题"正在被人按价格买走——这正是数学家还没被取代的护城河。知乎
接下来看三件事，再决定要不要"慌"
第一，纳维-斯托克斯的"解决"能否通过克雷数学研究所式的权威认定，还是永远停在"宣称"；第二，719篇手稿多久被人类审完——目前它只消化到陶哲轩的10篇；第三，1500万美元的评审资助和今日对谈里讨论的"开放数学模型"计划，能不能把"读懂AI证明"变成新职业。就眼下证据而言，"取代"发生在解题环节，“重写"发生在理解环节：陶哲轩与邓煜的对谈里反复强调的是引导AI、也能独立于AI开展工作的能力，他们称之为"理解”。对普通人，用法可以抄作业：有标准答案的题，让AI速刷再对一遍答案；没有标准答案的题，让AI一次给几条路，人来当裁判。知乎
