丘成桐新论文致谢GPT与Claude，解决44年前自己列出的微分几何猜想
来源量子位查看原文
速览
- 论文宣称解决七维27种怪球的正截面曲率问题，补上「非负」到「正」的最后一步。
- 问题1956年由怪球发现引出，丘成桐1982年列入问题清单第二位，悬置约70年。
- 核心思路是用双圆盘模型把怪球切成两半，再借十维主丛与黎曼淹没投影回七维。
- 关键工具是奥尼尔公式，保证投影后曲率只增不减，纤维半径取极小以压住负曲率。
- 两块圆盘构造不对称，需在边界满足度量一致与第二基本形式之和严格为正两个条件。
- 论文致谢ChatGPT 6 Astra和Claude Pro，但声明验证与写作责任由作者承担。
- 丘成桐对AI态度三年间从「不会有任何影响」转向主张学生尽早学习使用AI工具。
- 陶哲轩等25位菲尔兹奖得主曾发声明，警告AI公司把解数学题当benchmark冲刺与数学共同体目标偏移。
丘成桐与两位合作者发布的一篇微分几何论文，宣称证明了七维空间中全部28种光滑球面（含27种「怪球」）都能配上截面曲率严格为正的度量，补上了从「非负曲率」到「正曲率」这最后一步。该问题1956年由米尔诺的怪球发现引出，丘成桐1982年将其列入自己的问题清单并排在第二位，悬置约70年。论文在致谢中感谢了ChatGPT 6 Astra和Claude Pro在部分证明策略探索和计算中提供的帮助，同时声明人工验证与论文写作责任由作者承担。论文还附带一套用SageMath编写的验证代码。
关键事实
- 论文宣称证明七维空间中28种光滑球面（标准球面1种加27种「怪球」）每一种都能配上截面曲率严格为正的度量。
- 该问题可追溯至1956年米尔诺构造出「怪球」，丘成桐1982年将其列入自己的问题清单，排第二位。
- 1963年科维尔和米尔诺证明七维空间光滑版本共28种，记作Θ₇ ≅ Z/28Z。
- 1974年格罗莫尔和迈耶在一个怪球上构造出非负曲率度量；2020年格特、凯林和尚卡尔推广到全部28种球面。
- 2008年彼得森和威尔海姆曾发布预印本声称在一个怪球上做到正曲率，但证明始终未通过同行评审。
- 论文致谢中感谢ChatGPT 6 Astra和Claude Pro在部分证明策略探索和计算中提供的帮助。
本站视角
对做微分几何、几何分析的中文研究者来说，这篇论文的价值不在于「AI帮忙证明了猜想」这个叙事，而在于它给出了一条可检验的构造路径：双圆盘模型、十维主丛、黎曼淹没、奥尼尔公式、纤维半径取极小，这些是具体可复现的技术步骤，加上SageMath验证代码，国内做曲率与度量构造的团队可以据此直接上手核查。我们认为，真正值得关注的是致谢本身的分量：丘成桐是过去三年对AI介入数学最谨慎的顶尖数学家之一，从2023年「不可能对最尖端的数学家有任何影响」到如今在论文致谢里列出ChatGPT 6 Astra和Claude Pro，这个转变比论文结论更能说明AI在数学工作流中的位置已经变化。但也要指出，致谢措辞相当克制，只提「部分证明策略的探索和计算」，并明确人工验证与写作责任由作者承担，这与「AI独立证明猜想」是两回事，把它读成后者是过度解读。对国内做大模型数学能力的团队而言，这件事的启示是：顶尖数学家真正需要的不是刷benchmark的解题能力，而是能参与策略探索和繁琐计算的协作工具，这与陶哲轩等25位菲尔兹奖得主声明中批评的「把解数学题当benchmark冲刺」形成对照。需要观察的是，该论文结论尚未经同行评审，2008年彼得森和威尔海姆的预印本曾声称做到正曲率却未通过评审，是同类结论需要谨慎对待的先例。
背景与影响
怪球是1956年由美国数学家米尔诺构造出的一类对象：它与标准七维球面在拓扑上完全一样，但在光滑变形意义下无法变回标准球面，米尔诺因此获得菲尔兹奖。1963年科维尔和米尔诺证明七维空间的光滑版本共28种，标准球面算一种，其余27种为怪球，构成Θ₇ ≅ Z/28Z。标准球面具有截面曲率处处为正的性质，数学家由此追问27种怪球能否同样做到。1974年格罗莫尔和迈耶在一个怪球上构造出非负曲率度量，2020年格特、凯林和尚卡尔推广到全部28种。从「非负」到「正」这一步看似微小，却卡了半个多世纪，2008年彼得森和威尔海姆的预印本声称做到正曲率，但未通过同行评审。本次论文采用杜兰、普特曼和里加斯提出的双圆盘模型，把每种七维球面视为两个七维圆盘沿边界粘合，先在以三维球面S³为纤维的主丛所构成的十维空间上造度量，再通过黎曼淹没投影回七维，借助奥尼尔公式保证曲率只增不减，并通过把纤维半径取到极小来压住其他方向的负曲率贡献。两块圆盘的构造不对称，南盘用弯曲底盘加选取的联络，北盘用扁平乘积联络配合翘曲径向轮廓，边界处需满足诱导度量一致与第二基本形式之和严格为正两个条件，之后由赖泽和雷斯（Wraith）的拼接定理保证粘合后存在光滑正曲率度量。需要观察的是，该结论是否最终被数学界接受，仍有待同行评审。
本文由 AI 辅助整理自公开信源，事实部分以原文为准；「本站视角」一节为编辑部判断，欢迎指正。版权归原作者所有，如有异议请联系我们。