50年老程序员开怼陶哲轩：抱怨 AI 证明不优雅是在怪凿子
esrtweet · x · 2026-10-25
数学家 Terence Tao 此前抱怨「AI 正在生成糟糕的证明：结果正确，但不追求优雅、不顾可读性、也不考虑后续发展」。一位有 50 年编程经验的老程序员发长文反驳，措辞相当激烈。
他的核心论点：
- 追求优雅、可理解性与延续性本来就是人类的事，就像凿子不负责让雕塑变美，选择属于雕塑家；把审美责任推给工具是搞错了对象。
- 以自己的经历现身说法：从打孔卡时代过来，他也接受了以后不会再大量手写代码，工作变成「驾驭并质检 AI」，因此批评陶哲轩「思想僵化」。
- 还猜测：如果 AI 真有足够的数学品味、能写出优雅又易懂的证明，陶哲轩反而会更难受，因为那时他就彻底过时了。
这场争论折射出 AI 圈正在进行的更大分歧：AI 输出「能用但不美」时，该责怪模型还是调整人类自己的角色定位。
所属事件:50年老程序员回怼陶哲轩：AI证明不优雅不该怪工具(2 条相关)→
「漫话AGI」频道最新
- 研究者警告：别让「AI 两三天出论文」毁掉同行评审 — ChongZzZhang · 2026-10-25
- 「恐惧即护城河」:Reddit 热帖质疑 OpenAI、Anthropic 贩卖 AI 恐惧 — RakesProgress · 2026-10-25
- 「大门早已敞开,没人会来告诉你」:AI 时代创作者不必再等许可 — r0ck3t23 · 2026-10-25
- 独立开发者复盘 15 条 2026 预测：对 6 错 2，安全与记忆成真 — tibo_maker · 2026-10-25
- Derek Thompson：编程智能体或重演 Peloton 式需求透支 — GaryMarcus · 2026-10-25
- 宫本茂谈生成式AI:人类创造力不会被取代,总有我们的位置 — banteg · 2026-10-25