科技腾讯新闻·机器之心··AI 生成
菲尔兹奖得主哭了：AI摧毁了我的研究领域
2022年菲尔兹奖得主Hugo Duminil-Copin因OpenAI发布逾700篇AI生成数学手稿而情绪崩溃，认为AI正在系统性摧毁人类数学研究的探索过程。文章深入探讨了数学发现中「过程」的价值——新概念、新工具、跨领域联系往往源自探索与失败，AI直接输出证明跳过这一环节。作者还点出AI对年轻学者（依赖特定问题毕业求职）和学术交流文化（从自由分享到警惕被AI「截胡」）的冲击。适合关注AI与科学交叉、数学哲学、以及学术生态变化的读者。原文 ↗原文 ↗
核心观点
- ▍AI直接给出数学证明，跳过了人类探索过程中产生新概念、新工具和跨领域联系的环节，可能导致数学版图收缩和学术共同体认知的耗散。
- ▍OpenAI一次发布超719篇AI生成手稿（含377项新证明），被数学家形容为「地毯式轰炸」，改变了数学研究的生产与竞争方式。
- 0110月6日OpenAI在GitHub公开722篇数学手稿，分属372个结果族，涵盖核心证明、配套论证、推论和替代证明。
- 02约三分之一手稿涉及数学界广泛关注的重要猜想，另有三分之一在各细分领域有重要价值。
- 03模型从8月28日开始训练，每项结果消耗的计算量平均相当于ChatGPT Pro思考约3小时。
- 04发布后部分手稿被指出可能未真正证明其声称结论；OpenAI在两天后撤回3篇存在错误的论文。
- 05Hugo Duminil-Copin曾因OpenAI成果在周二晚上情绪崩溃哭醒女儿，并将AI生成证明的影响比作「核爆」。
- 06数学家威廉·瑟斯顿曾反思，快速证明大批定理后相关研究方向会失去关注，领域内的直觉、经验和交流网络随之消散。
反方 / 局限
- — 部分手稿通过Lean形式化检查并不能自动保证准确对应自然语言论证，AI证明的可靠性仍需人类审校——说明当前AI「解决」的问题可能并非所有都真正被解决。
- — 已有网友发现AI证明将两个此前很少被联系的想法成功结合（「外星数学」），暗示AI或许能开辟人类未曾想到的路径，未必只是「摧毁」——这也是文章未展开的另一面。
概念锚点
前置背景
平行视角
未来推演
延伸追问