陶哲轩Caltech演讲引争议：证明过剩与可理解性之辩

陶哲轩在Caltech举行「Math 2.0」公开讲座并流出27页幻灯片，核心判断是数学这门学科建立在「证明稀缺」之上，而这个时代已经结束——算力足够时，AI无需专业背景即可解决大量公开问题，我们正进入「证明过剩」时代。讲座中一页关于AI发现癌症疗法的思想实验幻灯片（即使通过数学模型验证、临床试验和形式化证明，是否仍可能存在有害长期副作用）被Andrew Curran分享并评论：若疗法真能治好四期癌症患者，几乎任何患者都会认为人类是否理解其机制完全无关紧要——以此质疑「可理解性」的价值。该帖被多人转发，引发对「有效性 vs. 可理解性」的广泛讨论；UCLA教授Lior Pachter也针对演讲多处内容公开反驳。陶哲轩本人尚未公开回应这些批评。已确认

• 陶哲轩在Caltech举行「Math 2.0」讲座，完整27页幻灯片流出，主题为AI如何改变数学，核心是「证明过剩时代」的判断
• 讲座含一页AI癌症疗法思想实验幻灯片；同一幻灯片还将应用数学问题列为低优先级
• Andrew Curran分享该幻灯片并发表「疗效与人类是否理解机制无关」的评论，引发广泛转发与讨论
• Lior Pachter在现场听讲后连发多帖公开反对：认为陶哲轩将应用数学与纯数学问题视为互不相交是错误的，绝非小事；批评演讲中称某模型是「更准确的模型」的说法「令人尴尬」；并针对「AI过早抵达灯塔会使周边领域荒芜」的比喻追问什么算「过早」——二次互反律的灯塔是否该留200年让别人有机会探索
• Pachter还质疑「数学最先被AI颠覆」的说法，并回忆曾与陶哲轩喝咖啡、对方几秒内把问题推到极高深度的体验，称如今与AI交流也有同样感受；他同时指出翻译、旅行代理、客服、程序员等职业同样受冲击
• Pachter最后表态：AI用于数学确有严重且紧迫的隐忧，但他更想听陶哲轩谈数学本身而非这些争议
• 据soumitrashukla9转述，生物学家Cremieux批评陶哲轩「展示前没咨询任何生物学家」，并指出大多数现有药物的机制本就未被完全理解；Chris Hayduk也对陶哲轩观点提出回驳，具体论证未展开
• 研究者manoelribeiro调侃：AI已让数学家认清现实，但还不足以让他们承认应用数学问题对「人类理解」的贡献，指向幻灯片中应用数学的低优先级排序尚未确认
• 多位发帖人质疑癌症疗法类比：haider1表示理解用意但认为类比很差；Reddit用户DryRadio761尖锐批评称，若陶哲轩认为没人愿意为相关风险押注，那是因为他从未接触过晚期癌症患者。均为个人观点
• 也有声音为可解释性辩护：arpitrage在Curran帖下提出，可解释性的关键价值不在于决定是否接受某种疗法，而在于帮助人类生成更多新疗法——理解机制是发现的工具而非接受的前提。此为个人观点
• inductionheads转发语境中有网友调侃此事让人怀疑「通用智能」是否存在，属调侃性质，无实质信息为什么重要

这场讨论触及AI时代的核心张力：AI产出的证明或疗法即使通过全部现有验证手段，是否还需人类理解其内部机制。Curran的质疑、DryRadio761基于绝症患者处境的反驳，与arpitrage「理解是发现工具」的辩护，构成了对该问题的多面交锋；Pachter的系列反驳则显示，即便如陶哲轩一流数学家的判断，也会在学科分类（应用与纯数并非互斥）、「过早抵达灯塔」的界定标准等问题上遭到同行有力挑战。manoelribeiro的吐槽进一步补充了学科政治视角：AI浪潮下应用数学仍被主流数学界轻视，折射出学界对AI结果可信度与学科价值排序的深层分歧。

2026-10-11 ~ 2026-10-11 · 19 条相关

事件全程(共 5 集)→

• 第 1 集:陶哲轩谈AI数学研究：应用方式不对，应慢中求价值(2026-10-07,2 条)
• 第 2 集:陶哲轩「数学家没要求AI做这事」引战，OpenAI手稿遭实质核查(2026-10-08,58 条)
• 第 3 集:陶哲轩博客刊文探讨 AI 时代数学系学生职业建议(2026-10-09,2 条)
• 第 4 集:陶哲轩回应 OpenAI 证明潮遭质疑(2026-10-09,2 条)
• 第 5 集:陶哲轩Caltech演讲引争议：证明过剩与可理解性之辩(2026-10-11,19 条)

• 陶哲轩 Math 2.0 讲座幻灯片引争议：谁该为 AI 风险押注？ — Dry_Radio_761 · 2026-10-11
• 陶哲轩 Caltech「Math 2.0」演讲：疗效无关人类是否理解机制 — khademinori · 2026-10-11
• 陶哲轩 Math 2.0 讲座质疑：AI 治愈癌症也可能有长期副作用 — haider1 · 2026-10-11
• 陶哲轩「Math 2.0」讲座引争议：理解机制对人类还重要吗 — NathanpmYoung · 2026-10-11
• Tao 演讲引热议：网友调侃陶哲轩让人怀疑通用智能是否存在 — inductionheads · 2026-10-11
• Terence Tao 演讲引议:AI 可解释性价值在于生成新疗法而非接受度 — soumitrashukla9 · 2026-10-11
• 数学家公开反对陶哲轩数学观:应用与纯数学问题并非互不相交 — lpachter · 2026-10-11
• 【源头】数学家 lpachter 公开反驳陶哲轩的 AI 数学观：应用与纯数不可割裂 — lpachter · 2026-10-11
• 【源头】Terence Tao 发布 27 页演讲:数学进入「证明过剩」时代 — ns123abc · 2026-10-11
• 数学家反驳陶哲轩:何谓「过早」抵达灯塔?癌症案例天真得惊人 — lpachter · 2026-10-11
• 陶哲轩 Caltech 演讲 27 页 PPT：数学进入证明过剩时代 — ns123abc · 2026-10-11
• 陶哲轩幻灯片引吐槽：AI 震了数学家，但应用数学仍被轻视 — manoelribeiro · 2026-10-11
• 【源头】数学家质疑 Tao「灯塔论」：数学真的最先被 AI 颠覆吗 — lpachter · 2026-10-11
• 数学家：与陶哲轩聊天的震撼体验，如今与 AI 也能感受到 — lpachter · 2026-10-11
• AI 用于数学确有隐忧,但他更想听陶哲轩谈数学本身 — lpachter · 2026-10-11
• 陶哲轩 Caltech 演讲引争议:AI 疗法无需人类可理解吗 — cgarciae88 · 2026-10-11
• 陶哲轩 Caltech 演讲引争议：AI 找药需要理解机制吗 — soumitrashukla9 · 2026-10-11
• 陶哲轩 Caltech 演讲引热议:人类智能同样存在短板 — kuza55 · 2026-10-11

另有 1 条近重复转述:soumitrashukla9