专题 · FULL STORY
AI闯入数学界：陶哲轩博客风波始末
陶哲轩先谈AI在数学研究中应「慢中求价值」，随后其博客客座文章「数学家没要求AI做」在X上引发广泛争议，接连又有客座文回应学生职业忧虑、其本人对OpenAI证明潮发声，事件线从争议爆点延展至社区持续讨论。
2026-10-07 ~ 2026-10-09 · 4 集 · 18 条
第 1 集 · 陶哲轩谈AI数学研究：应用方式不对，应慢中求价值(2026-10-07,2 条)
数学家陶哲轩在近期演讲及评论中谈及 AI 在数学研究中的角色。他认为负责任地使用 AI 不仅能辅助解法的初始生成，还可支撑验证、推导、延伸等后续跟进工作，本可覆盖研究全流程。但现状恰恰相反：AI 虽然到处「解决」重大猜想，却并未真正创造价值。他呼吁「完全可以慢一点」，以更合理的方式将 AI 融入数学研究。
- 陶哲轩：AI 工具本可支撑研究全流程，现状却恰恰相反 — GaryMarcus · 2026-10-07
- 陶哲轩罕见表态:AI 求解数学不必这么快,当前方式并不对 — rohanpaul_ai · 2026-10-08
第 2 集 · 陶哲轩博客客座文「数学家没要求AI做」引爆争议(2026-10-08,12 条)
陶哲轩博客上一篇客座文章中的表述——「数学家并没有要求这项工作被完成」——在 X 上引发广泛争议与批评，成为 AI 进军数学研究引发社区反弹的又一标志性事件。当前结论：该表述出自客座文章而非陶哲轩本人声明（@littmath 已澄清），但围绕「谁有权决定数学研究怎么做」的争论持续发酵，衍生出大量对数学家群体声明的集体嘲讽。
已确认
- 争议源头是陶哲轩博客客座文章中的表述，@littmath 澄清这并非陶本人的声明；@kimmonismus 转述并称这是「听起来相当怪异」的表态
- Peter Gostev 以医学界对新技术态度作类比回应，设想 2030 年 OpenAI 一次性放出大量成果的场景；@wandedob 转发帖中心脏病学家 CMichaelGibson 亦反讽：若心脏科医生说「我没要求治愈心脏病」，会是什么景象
- @haider1 主张不想用 AI 的数学家完全可以按自己的方式做数学、不读 AI 证明、当 AI 不存在，但不应反过来限制其他人使用这些工具
- @carlosdponx、@cephaloform 与 @m10 相关帖转述 Noahpinion 的质疑：从什么时候起做数学只能应职业数学家之请？数学家并不拥有数学；jdpressman 调侃称这是 STEM 组织发过的最像「暴怒人文教授」的声明
- @inductionheads 转发讨论中，转发者 rynorhn 强烈反驳，称几个世纪以来人类都在探索宇宙，如今终于建成了相应的工具；basedjensen 则认为这句话对数学家和数学学科的伤害比 OpenAI 能造成的还大，是灾难级自摆乌龙
- @RyanMorrisonJer 帖中 WesRoth 直斥这是有史以来最自以为是、搞门阀封锁的表态——做数学题难道还需要某人批准？Ryan Morrison 则感慨人类造出最强计算机来回答生命与宇宙的问题，结果遭科学家抵触
- @nptacek 转发 Ethan Mollick 的评论，称一份数学家群体的文件将成为记录这个时代大学课堂的必读材料；转发者 xlr8harder 表示同情数学家面对领域被 AI 颠覆，但这份声明本身反而消解了这种同情；@mjuric 转发 Ariel Kwiat 的评论，认为这句话可能成为这个时代的历史性名言
- @wandedob 转发的 viral 帖称，随着 AI 解出数百道悬挂数十年的数学难题，部分数学家开始抵制 AI；@profg 亦转发讨论，认为事件反映 AI 进军数学研究引发的社区反弹
尚未确认
- 该客座文章及数学家群体文件的完整原文与上下文细节，各帖均未给出；「AI 解出数百道难题」的具体所指亦仅见于 viral 帖转述
为什么重要
支持者认为数学属于全人类、新工具不应被既得利益者阻拦；数学界的顾虑则涉及学科自身的进步观与评价体系。随着 AI 在形式化证明和科研自动化上持续突破，此类社区摩擦预计还会加剧。
- 陶哲轩「数学家没要求 AI 来做」引争议,Gostev 类比医学界反制 — kimmonismus · 2026-10-08
- 数学家称「没人要求 AI 来做我们的工作」,引发争议 — prof_g · 2026-10-08
- 陶哲轩「数学家并未要求AI做此工作」言论引争议，littmath 反驳 — littmath · 2026-10-08
- 陶哲轩质疑 AI 数学证明引反弹：数学属于全人类 — inductionheads · 2026-10-08
- 「数学家没要求做这项研究」引群嘲:数学从来不属于职业数学家 — carlosdponx · 2026-10-09
- 网友回怼 Terence Tao：不想用 AI 可以不用，别限制大家用 — haider1 · 2026-10-09
- 「数学家没要求做这项研究」言论引 outcry：数学家不拥有数学 — cephaloform · 2026-10-09
- 数学界 vs AI 争论引爆:数学家集体声明被讽「自损同情分」 — nptacek · 2026-10-09
- 「数学家并未要求这项工作」或成 AI 冲击学术界的时代注脚 — mjuric · 2026-10-09
- AI 解出数百道数十年未解难题，数学家竟宣布抵制：「没人要求你做」 — wandedob · 2026-10-09
- AI 攻克数学引争议:数学家'并不想要这份工作'遭群嘲 — RyanMorrisonJer · 2026-10-09
- 「数学家没要求 AI 代劳」言论引爆圈内外争议 — inductionheads · 2026-10-09
第 3 集 · 陶哲轩博客刊文探讨 AI 时代数学系学生职业建议(2026-10-09,2 条)
数学家 Álvaro Lozano-Robledo 应陶哲轩之邀在其博客发表客座文章《我们该告诉学生什么?》，回应 LLM 冲击下数学专业学生的职业发展问题。文章引发激烈讨论，其中被引用的 FakePsyho 评论激烈反驳，认为基于「AI 进展会停滞」的假设给学生建议是错误的做法。
- 陶哲轩博客刊文：LLM 时代该对数学系学生说什么 — keviv9 · 2026-10-09
- AI 不停步,数学界该怎么劝学生?陶哲轩博客引发激辩 — inductionheads · 2026-10-09
第 4 集 · 陶哲轩回应 OpenAI 证明潮遭质疑(2026-10-09,2 条)
菲尔兹奖得主陶哲轩对 OpenAI 大量生成数学证明的浪潮作出回应，提出保护数学机构和岗位的策略。数学家 Samuel Allen Alexander 对此提出尖锐质疑，认为这套策略本质上押注于一个假设——AI 永远讲不好数学，即模型最终不会真正掌握数学，若该前提不成立，整个策略将失去基础。
- 数学家质疑陶哲轩立场：前提是 AI 永远讲不好数学 — burny_tech · 2026-10-09
- 陶哲轩回应 OpenAI 证明潮，被指护数学界饭碗 — burny_tech · 2026-10-09