丘成桐新论文致谢 GPT 与 Claude：44 年前列进清单的“怪球”难题补上了

“AI 不可能对最尖端的数学家有任何影响”——这句话，正是丘成桐自己说过的。而现在，他参与的最新论文，在致谢里写上了 GPT-6 Astra 和 Claude Pro，称它们在探索部分证明思路和计算时提供了帮助。更巧的是，这篇论文啃下的，是 44 年前由丘成桐亲自列进自己问题清单的一道难题。

一分钟速览

• 丘成桐参与的最新论文致谢 GPT-6 Astra 与 Claude Pro，称其帮助探索证明思路与计算。
• 论文处理七维空间“怪球”猜想：28 种球面能否都拥有严格为正的截面曲率。
• “怪球”1956 年被发现，丘成桐 1982 年将其列入自己的问题清单第二位，悬置约 70 年。
• 2020 年学界已证明全部 28 种可配“非负曲率”，但从“非负”到“正”又卡了半个多世纪。
• 论文用“双圆盘模型”+ 黎曼淹没 + 奥尼尔公式，补齐了这最后一步。

什么是“怪球”？

1956 年，美国数学家米尔诺构造出一种奇怪的东西：它和标准的七维球面在拓扑上完全一样，你可以把它想象成一团橡皮泥，随便揉捏、拉伸都能变回普通球面；但如果只允许光滑地变形——每一点平缓过渡、不许突变——它就回不去了。这种“形状一样、手感不同”的球面，被称为“怪球”。米尔诺因此拿下菲尔兹奖。

七年后，科维尔与米尔诺证明，七维空间里这种“光滑版本”一共有 28 种。标准球面算一种，其余 27 种都是怪球，它们构成一个代数结构 Θ₇ ≅ Z/28Z。标准球面有个很好的性质：截面曲率处处为正——每一小块、从每个角度去看都在向内弯。数学家自然想知道：另外 27 个怪球，能不能也做到这一点？

从“非负”到“正”，卡了半个多世纪

1974 年，格罗莫尔和迈耶在一个怪球上构造出“非负曲率”度量；2020 年，格特、凯林和尚卡尔把结果推广到全部 28 种。但从“非负”（允许有些地方不弯）到“正”（每个地方都必须弯），看似只差一步，实际却拦住了数学界数十年。2008 年曾有学者发布预印本声称做到正曲率，但证明始终未通过同行评审。

难点在于：布伦德尔与舍恩的微分球定理指出，若正曲率“太均匀”（任意点任意方向最大最小曲率之比不超过 4），流形必然与标准球面光滑等价。也就是说，怪球上的正曲率必须正、却不能正得太均匀，留给构造的空间极为狭窄。

这篇论文的核心思路是“把每个怪球切成两半”：采用杜兰等人提出的“双圆盘模型”，28 种球面对应 28 种粘合方式。作者先在以三维球面为纤维的“主丛”上，把问题搬到十维空间，在这里造度量更容易控制；再用“黎曼淹没”把十维度量投影回七维圆盘。关键的“奥尼尔公式”保证：投影后曲率只会变大或不变。于是只需在十维空间把曲率做到正——技巧是把三维小球纤维的“半径”取到极小，用纤维自身巨大的弯曲来压住其他方向可能出现的负曲率。

AI 与数学：从“帮忙计算”到“参与探索”

论文的两块圆盘构造并不对称，边界处必须完美对接，需要满足度量一致与第二基本形式之和严格为正两个条件。作者通过建立公共坐标、证明两侧纤维半径关于法向的导数恰好相反，让纤维部分的贡献在拼接时抵消，最终借助拼接定理得到整个球面上的光滑正曲率度量。

真正值得玩味的是致谢那一行字。它并不意味着 AI 独立完成了证明，但它标记了一个变化：在最尖端、最抽象的数学研究里，AI 已经从“外围工具”走到了“探索伙伴”的位置。当一位曾说“AI 影响不了顶尖数学家”的学者，把自己的名字和 AI 一起写进致谢，这本身就是一个信号。

参考来源：量子位对丘成桐团队最新论文的报道。