LLM更像冯·诺依曼而非爱因斯坦？定理证明进步下的类比反思

akbirthko · x · 2026-08-25

作者借经典科普博客 Wait But Why 的一张图表指出：考虑到近期定理证明的快速进步，那张图颇有先见之明；但 LLM 给人的感觉仍非常“罗马式”、冯·诺依曼式的，而非“希腊式”、爱因斯坦式的——即擅长密集推演而非颠覆性洞察。

在回复中作者进一步说，当前 AI 叙事存在严重的“观感问题”：人们总像 Dyson 批评核弹那样用“技术傲慢”的口吻谈论 LLM,带着奇怪的“奥本海默情结”；他主张用更肯定生命的方式谈论这些技术——毕竟它们不是核武器。文末引用 Moravec：“我们该建造方舟，过海上生活。”