陶哲轩发文称AI已根本改变数学，用AI得完整证明并理解拓展应算实质数学贡献，HN获213分
2026 年 11 月 1 日，数学家陶哲轩在个人博客发表文章《Mathematics has changed. Let's act like it》，主张数学已因 AI 发生根本改变：一位数学家若选择了有价值的问题、用 AI 获得完整证明、真正理解它并据此发展出新的问题或方向，即使没有为原始证明提供新要素，也应被视为做出了实质性数学贡献。截至材料所载，该文在 Hacker News 获得 213 分、229 条评论，讨论集中在 AI 证明被指'丑陋、冗长、难以理解'，以及数学的社会根基变化和研究者的职业前景。需要说明的是，这目前仍是个人立场表达，学术共同体是否会据此调整期刊、署名等认定规则，材料中并无证据。
hackernews · smilelamp · 11月1日 18:28 · 社区讨论
「为何是现在」 文章发布于前一天且为一手来源；已发生的是陶哲轩公开阐明这一立场并引发热议，而学术规则是否因此改变尚无证据。有评论者注意到他近几个月已在多处谈及 AI 时代'对结果的消化'，这篇博文可视为该思路向明确贡献认定主张的推进，相关争论仍在进行中。
「内容切入角度」 可做角度：逐条拆解陶哲轩给出的贡献认定条件（选题、用 AI 完成证明、彻底理解、延展出新方向），并对照评论中的两派张力——一方抱怨 AI 证明冗长难懂，另一方以'重大结果的首个证明往往就是如此，优雅是后来才出现'反驳——进而讨论现行署名与贡献认定规则承受的压力。
「社区讨论」 评论分歧明显：支持者将此类比作数学从'手工艺时代'走向'工业化时代'，并指出陶哲轩数月来已一贯主张对结果的消化应获承认；担忧集中在 AI 证明冗长丑陋、数学社会根基骤变带来的职业焦虑（'现在我该怎么办'），也有人质疑'AI 能力止步于定理证明'的前提假设。
做AI项目，先看AI雷达 - AiRadar.com.cn · 全部AI快讯 →