丘成桐新论文致谢了GPT和Claude
内容提要
丘成桐参与的最新论文借助GPT与Claude辅助，证明七维空间28种球面（含27种怪球）均可赋予截面曲率严格为正的度量，解决了1982年他列入问题清单、悬置数十年的经典猜想。论文用双圆盘模型与黎曼淹没等工具构造证明，并附SageMath验证代码，标志其对AI态度从否定转向有限接纳。
延伸解读
从非负到正：半个世纪的最后一跃
文章指出，1974年格罗莫尔和迈耶在一个怪球上构造出非负曲率度量，2020年格特等人推广到全部28种球面，但正曲率要求处处严格向内弯，不能有平坦点。2008年彼得森和威尔海姆的预印本声称做到却未通过评审。这篇论文若被接受，将补上这最后一步，彻底解决悬置数十年的问题。
双圆盘模型与黎曼淹没的构造策略
论文采用双圆盘模型，将每个七维球面视为两个七维圆盘沿边界粘合，28种球面对应28种粘合方式。作者先以S³为纤维构造十维主丛，在十维空间造正曲率度量，再通过黎曼淹没投影回七维。奥尼尔公式保证曲率不会变小，而将纤维半径取到极小可压住负曲率贡献。南北盘构造不对称，需在边界满足度量一致与第二基本形式之和严格为正两个条件。
AI辅助的边界与作者责任
论文致谢中感谢了GPT 6 Astra和Claude Pro在部分证明策略探索和计算中的帮助，但紧接着声明人工验证和论文写作责任由作者承担。这显示AI被定位为辅助工具，而非证明的独立完成者。同时，论文附有SageMath验证代码，用于核查大量曲率不等式和参数选取，计算机验证成为证明可信度的重要支撑。
丘成桐对AI态度的转变轨迹
文章梳理了丘成桐近年表态：2023年称AI不可能影响最尖端数学家；2024年软化称对数学有很多好处但不可能改变数学；今年1月说改变科研效率但非范式革命，6月称能解很多nice问题但离突破尚远，7月主张学生尽早学习使用AI工具。这篇论文的致谢标志其态度从否定转向有限接纳，但依然克制。
Q&A
丘成桐最新论文解决了什么数学问题？
论文证明了七维空间中的28种球面（包括27种怪球）都可以赋予截面曲率严格为正的度量，从而解决了1982年丘成桐列入问题清单、悬置数十年的经典猜想。
什么是七维空间中的怪球？
怪球是七维空间中与标准球面拓扑相同但光滑结构不同的球面。1956年由米尔诺发现，七维空间中共有28种光滑球面，其中27种是怪球，它们与标准球面“形状一样，手感不同”。
为什么从非负曲率到正曲率这么难？
因为布伦德尔和舍恩的微分球定理表明，如果正曲率太均匀（最大曲率与最小曲率之比不超过4），流形就与标准球面光滑等价。怪球上的正曲率必须正但不能太均匀，否则就不再是怪球，因此构造空间极为狭窄。
论文是如何构造正曲率度量的？
论文采用双圆盘模型，将每个怪球切成两个七维圆盘，先以三维球面为主丛构造十维空间上的度量，再通过黎曼淹没投影到七维圆盘，利用奥尼尔公式保证曲率不减小。通过取极小纤维半径压住负曲率，并确保边界处度量一致且第二基本形式之和为正，最后用拼接定理粘合。
丘成桐对AI的态度发生了怎样的变化？
丘成桐对AI的态度从否定转向有限接纳。2023年他认为AI不可能影响尖端数学，2024年软化称AI对数学有很多好处，2025年则主张学生尽早学习AI工具，并在最新论文中致谢GPT和Claude辅助探索证明思路和计算。
论文中AI具体提供了哪些帮助？
论文致谢中感谢了ChatGPT 6 Astra和Claude Pro在部分证明策略的探索和计算中提供的帮助。但论文强调人工验证和论文写作的责任由作者自己承担。
