我们做这一切到底是为了什么：一篇对着 AI 数学热潮的讽刺
来源：terrytao.wordpress.com — 2026-10-15
📋 概述
这是 Terence Tao 博客上的一篇客座文章（作者 Rikab Gambhir，理论粒子物理学家），用通篇反讽的笔法拆解 2026 年 10 月 OpenAI 宣称产出一批数学成果的宣传：它把「人类终于可以不做物理、专心发论文」当成梦想成真来写，把博尔赫斯的巴别图书馆重新解读成「历史上最成功的研究机构」，因为里面有黎曼假设的证明、有量子引力的完备理论，也有错误证明与误导性的 Lean 证书。文章的核心讽刺在于分工：概率性生成看起来正确的结果，实际正确性与理解被外包给数学共同体，而且不再花时间让论文变得人类可读——于是瓶颈从「能不能理解解法」变成了「我们有多少科学事实是我们根本不懂的」。
🔑 核心要点
- 文章用类比开场：先说艺术家、再说数学家，轮到物理学家时「这事其实挺酷，还给了免费 token」
- 被讽刺的对象是 2026 年 10 月初 OpenAI 发布的那批数学写作文档，以及物理学界此前的两千五百篇写作文档
- 巴别图书馆被重新解读为史上最成功的研究机构：里面既有正确证明，也有错误证明与误导性的 Lean 证书
- 关键分工：概率性生成看起来对的东西，把判断正确性与理解的工作外包给数学共同体
- 效率提升的另一面是不再花时间让论文人类可读，因为解释和核对都是「低效」的
- 文章总结这场转变：过去科学家受限于理解解法的能力，如今这个瓶颈被移除了，也就没有上限地累积着「我们无法理解的事实」
💡 金句
过去几个世纪里，科学家与数学家的解题能力受限于他们理解解法的能力。这个瓶颈已被移除，如今我们能积累的、自己无法理解的科学事实，在理论上已没有上限。
👍 0
👎 0
← 返回 Lobsters 首页