丘成桐论文致谢ChatGPT和Claude：44年前几何猜想获突破，态度三年反转

13 hours ago AI笔记

著名数学家丘成桐参与的最新论文在致谢中明确感谢了ChatGPT 6 Astra和Claude Pro”在部分证明策略的探索和计算中提供的帮助”。这位曾于2023年断言”AI不可能对最尖端的数学家有任何影响”的数学大师，正在用行动见证自己态度的彻底转变。

七维怪球：卡了半个世纪的最后一步

这篇论文处理的是微分几何领域的一个经典难题。七维空间中存在28种被称为”怪球”的特殊球面，数学家长期想知道这些球面能否每个地方都均匀向内弯曲（即配置严格正截面曲率的度量）。

70年来，学界只能证明这类球面可以拥有”非负”曲率——即至少不会向外鼓起。但从”非负”到”正”（严格向内弯），这最后一步卡了整整半个多世纪。1982年，丘成桐在自己的问题清单中将这一猜想排在第二位。

2026年，论文最终宣称补上了这一步：28种七维球面均可配上截面曲率严格为正的度量，完成了数代几何学家未竟的工作。

证明路径：十维空间借三维纤维压制负曲率

论文采用的核心工具是”双圆盘模型”：每种七维球面可看作两个七维圆盘沿边界粘合而成，28种球面对应28种不同的粘合方式。

参数 数值
目标维度 7维球面（S^7）
构造维度 10维空间（主丛）
辅助纤维 3维球面（S^3）
关键工具 奥尼尔公式（曲率不增原理）
核心机制 三维纤维半径取极小时，其自身巨大曲率压制其他方向负曲率贡献
最终结论 28种七维怪球均可配严格正截面曲率度量

具体而言，团队在十维空间（以三维球面为纤维的主丛）上先构造度量，再通过黎曼淹没投影回七维。根据奥尼尔公式，投影过程保证曲率只增不减。十维空间中三维纤维”半径”取到极小时，其自身巨大曲率足以压住其他方向的负曲率贡献，最终实现全空间严格正曲率。

丘成桐三年态度演变：从”不可能”到”尽早学”

丘成桐对AI的态度变化，本身就是这篇论文最好的注脚：

  • 2023年4月（复旦大学演讲）：”AI不可能对最尖端的数学家有任何影响。”
  • 2024年4月（中关村论坛）：”AI对数学有很多好处。”
  • 2025年1月（学术报告）：”AI改变科研效率，但不构成范式革命。”
  • 2026年7月（媒体访谈）：”学生应尽早学习使用AI工具。”

三年时间，从”不可能有任何影响”到”尽早学”——丘成桐的转变折射的不仅是个人认知的演进，更是AI在数学界存在感的加速渗透。当最顽固的怀疑论者都开始主动在论文中致谢AI工具，这个转变的意义已经超出了个人范畴。

数学家的AI使用边界：辅助探索而非替代思考

值得注意的是，丘成桐论文的致谢明确写了”在部分证明策略的探索和计算中提供帮助”——这指向的是AI在探索阶段的辅助价值，而非替代数学家的核心证明工作。

从论文的证明结构看，十维主丛的构造、双圆盘模型的几何直觉、以及奥尼尔公式的应用，都依赖丘成桐团队数十年的几何积累。AI提供的是快速遍历策略空间、验证中间步骤可行性的计算能力——这恰恰是它在数学研究中最稳健的应用场景。

更广泛地看，数学界对AI的接受路径与实验科学不同。数学证明的本质是逻辑链条的严丝合缝，任何AI生成的内容都必须经过人工验证才能被接受为证明的一部分。因此，AI在数学中最合适的定位是”策略探索器”和”计算验证器”，而非”证明撰写器”。这也解释了为什么丘成桐的致谢措辞如此审慎——他强调的是”探索”和”计算”而非”生成”。

意义与展望：AI成为数学家的”第二大脑”还有多远

丘成桐这篇论文如果最终通过同行评审，将是AI辅助数学证明领域的一个标志性事件。它的意义不仅在于解决了某个具体猜想，更在于展示了一个顶级数学家愿意在论文中公开承认并致谢AI帮助的先例效应。

可以预期，随着更多顶尖数学家逐步接纳并公开使用AI工具，AI在学术数学圈的渗透将从”暗流”变为”明面”。而丘成桐这篇论文，或许就是这个转折点最合适的注脚。

FAQ

Q：丘成桐这篇论文证明了什么？
A：证明了七维空间中的28种”怪球”均可配置截面曲率严格为正的黎曼度量，解决了这一困扰微分几何学界半个多世纪的猜想。

Q：AI在这篇证明中具体扮演了什么角色？
A：论文致谢明确指出AI在”部分证明策略的探索和计算”中提供辅助，主要是快速遍历策略空间、验证中间步骤，而非替代数学家的核心几何直觉。

Q：丘成桐对AI的态度变化说明了什么？
A：三年间从”不可能有任何影响”到”尽早学”，显示即便是对AI持最保守态度的顶尖数学家，也已不得不承认AI工具对数学研究范式的实质改变。

相关阅读：

延伸阅读

AI 自学笔记 每天更新 AI 前沿动态，订阅 RSS，或按 Ctrl/⌘+D 收藏本站，明天见。

Related News