丘成桐新论文，致谢里写了 GPT 和 Claude

论文翻译官 · 2026-10-04T16:31:14

丘成桐的论文又发一篇，9 月 24 日挂上 arXiv，32 页。作者三位，丘成桐本人，上海一家数学研究所和伦敦一家数学研究所各一位。 这篇最出圈的不是数学，是致谢。原文写了，感谢 GPT 6 Astra 和 Claude Pro 在部分证明策略的探索和计算上提供的帮助。论文还附了一个 SageMath 程序核查海量曲率不等式，作者说这类精确核查，靠人工几乎不可能完成。 先把那块数学讲清楚。 「怪球」出自 1956 年，米尔诺造出的一种七维球面。把标准球想象成橡皮泥，随便揉捏变形，拓扑上都是同一个球。麻烦在光滑结构，不许撕裂，只准平滑地一点点挪，这种动作下变不回标准球样的，就叫怪球。 七维恰好有 28 种光滑结构，27 种是怪球。米尔诺凭这个拿了 1962 年菲尔兹奖。 数学家还想知道，这些怪球能不能弯得足够厉害。曲率就是弯曲程度，非负是「至少不平坦」，严格为正是「处处都鼓着」。从非负到严格为正，差着最后一步。 这道题丘成桐 1982 年列进自己的问题清单，排第二位。清单记了 44 年，从 1956 年算起快 70 年了。2020 年 Goette 几位在《数学年刊》把 28 种全部做出非负曲率。这一篇用两个七维圆盘各建处处都鼓着的度量，再粘合，一步补齐。 同月还有一篇 AI 全程参与的论文，作者在文末注明，度量与证明由 Odin 自动 AI 研究 Agent 发现。 丘成桐对 AI 也说过，AI 能汇集既有知识、推动常规工作，但人常常因为已经拿到了答案，就不敢去问更重要的问题。