丘成桐最新数学论文致谢GPT与Claude

曾断言「AI不可能对最尖端的数学家有任何影响」的丘成桐，如今在自己的顶级科研中正式用上了AI。

在丘成桐参与的最新预印本论文中，致谢部分明确感谢了 GPT 6 Astra 与 Claude Pro 在部分证明策略探索和数学计算中提供的帮助。值得关注的是，这篇论文尝试解决的核心猜想，正是丘成桐在44年前亲自列入个人核心问题清单的经典难题。

困扰数学界70年的七维「怪球」

1956年，数学家约翰·米尔诺（John Milnor）构造出了一种特殊结构：它在拓扑上与标准七维球面完全同胚（可以像橡皮泥一样任意揉捏变形），但在微分几何意义上无法光滑变换回去。这种「形状一样、手感不同」的球面被称为「怪球」（exotic sphere），米尔诺也因此斩获菲尔兹奖。

随后研究证实，七维空间中共有28种光滑球面（1个标准球面与27个怪球）。几十年来，数学家们一直在追问：**这27个怪球能否像标准球面一样，具备处处为正的截面曲率？**也就是说，球面的每一处、各个方向是否都能做到严格向内弯曲？

1974年与2020年，数学界先后实现了在怪球上构造「非负曲率」度量（允许局部平坦）。但从「非负」跨越到严格的「处处为正」，留给构造的空间极其狭窄，卡住了微分几何界半个多世纪。丘成桐等人的最新工作，正是宣称补上了这最后一步，证明全部28种七维球面均可配上严格的正截面曲率度量。

证明思路与计算机辅助

根据微分球定理，怪球上的正曲率不能过于均匀，否则怪球就会退化为标准球面。为了在这条狭窄通道中完成构造，论文采用了「双圆盘模型」：

1. 升维构造：作者将七维圆盘提升至以三维球面为纤维的十维主丛空间，在十维空间中更容易控制几何度量；
2. 黎曼淹没：利用奥尼尔公式（O'Neill formula），把十维空间的度量投影回七维圆盘，保证曲率在投影过程中不会变小；
3. 极限收缩与边界拼接：通过将三维小球纤维半径取至极小，以巨大的自身曲率抵消负曲率贡献，并在两块圆盘的接缝处精确抵消边界的第二基本形式贡献，最终借助拼接定理完成平滑闭合。

由于整套构造包含大量复杂的曲率不等式估计和参数选择，研究团队附带了使用 SageMath 编写的代码进行计算机验证，同时借助大语言模型协助推演证明策略。

顶尖学者对AI态度的演进

丘成桐对AI的看法在过去三年经历了显著变化。2023年他曾表示AI很难形成科学观念突破；2024年转为认可AI能辅助数学发展；到了今年，他不仅公开建议学生尽早掌握AI工具进行文献与推导辅助，更在自己的重磅研究中直接引入了 GPT 与 Claude。

目前，数学界对AI的介入既保持开放又心存警惕。陶哲轩等20余位菲尔兹奖得主此前曾联合发声，提醒学界警惕单纯追求解题 Benchmark 的倾向，强调数学研究的本质始终是概念理解与深刻洞见。

当AI在公式推导与策略探索上展现出越来越强的辅助能力，顶尖学者们在借助工具提升科研效率的同时，依然在坚守由人类灵感与原创思考驱动的核心问题。