50 年老程序员回怼 Terence Tao:AI 证明不优雅是数学家自己的活
esrtweet · x · 2026-10-25
资深开发者(自述写代码 50 年)针对 Terence Tao 批评「AI 生成的证明很糟糕:结果漂亮,但不顾优雅、不顾读者理解」发表尖锐反驳:
- 他认为「优雅与可理解性」本就是人类数学家的职责,不该指望工具替你完成审美判断——正如「凿子没义务把雕塑变美」。
- 作者表示自己作为穿孔卡片时代的过来人,已接受「永远不再手写大量代码」,工作变成引导和质检 AI;年轻人没有理由思维僵化。
- 还诛心式推测:如果 AI 真有数学品味又能把证明讲清楚,Tao 只会抱怨得更凶——因为那样他就彻底过时了。
一条与顶尖数学家正面交锋、折射「AI 时代人类专业价值」争论的代表性观点。
所属事件:50年老程序员回怼陶哲轩：AI证明不优雅不该怪工具(2 条相关)→
「漫话AGI」频道最新
- 经济学家激辩 AI 经济学:David Duvenaud 转发「AI 非常规技术」论战 — DavidDuvenaud · 2026-10-25
- The Verge 深度复盘：Google AI 搜索变革如何颠覆整个在线出版业 — The Verge AI · 2026-10-25
- Murray Shanahan 论「离体存在」：AI 意识语言将走向佛教式空性 — mpshanahan · 2026-10-25
- r/opensource 宣布全面封禁 AI 相关项目：用 AI 写的帖子将永久禁言 — Pyros-SD-Models · 2026-10-25
- Gary Marcus 呼应 Sam Altman：短期或应暂停联网 AI Agent — GaryMarcus · 2026-10-25
- 硅谷弘扬正和思维，作者：赢下 Singleton 恰恰需要零和狠劲 — abhiadesai · 2026-10-25