专题 · FULL STORY

陶哲轩批 AI 数学证明遭老程序员回怼

陶哲轩接受采访抨击硅谷用 AI 攻克数学难题，称 AI 生成的证明如「有毒废料」，牺牲优雅与可读性；一位 50 年经验的资深开发者随即发文反驳，认为证明不优雅不应归咎于工具，事件引发两方持续交锋。

2026-10-24 ~ 2026-10-25 · 2 集 · 6 条

第 1 集 · 陶哲轩批评 AI 竞赛将优美数学变成「有毒废料」(2026-10-24,4 条)

顶级数学家陶哲轩接受采访时抨击硅谷争相用 AI 攻克长期未解数学难题的做法。他认为 AI 实验室需要测试衡量模型进步，而数学问题几乎是仅剩的可训练素材，该领域最大的奖项和目标正沦为模型的 benchmark。这种竞速排斥「优雅的解法」，把数学贬低为原始训练材料，将美丽数学变成「有毒废料」。

第 2 集 · 50年老程序员回怼陶哲轩：AI证明不优雅不该怪工具(2026-10-25,2 条)

数学家陶哲轩此前批评AI生成的数学证明虽然结果正确，却不追求优雅、不顾可读性，也不利于后续发展。一位自称有50年编程经验的资深开发者随即发长文尖锐反驳，认为优雅与可理解性本就是数学家自己的责任，抱怨AI证明不优雅如同责怪凿子，工具不应为质量问题背锅。这场隔空交锋引发了关于AI在数学研究中角色定位的讨论。