丘成桐新论文致谢 GPT 和 Claude，AI 辅助解决 44 年前悬而未决的怪球问题
丘成桐参与的最新论文在致谢中感谢了 GPT 6 Astra 和 Claude Pro 在部分证明策略探索和计算中的帮助。该论文宣称解决了七维空间中 27 种怪球能否配备正截面曲率度量的经典猜想，该问题自 1982 年被丘成桐列入问题清单以来悬而未决。论文附带 SageMath 验证代码，计算机验证成为证明可信度的重要支撑。
推荐理由：丘成桐从质疑到使用 AI 辅助证明的转变，为理解 AI 在尖端数学研究中的角色提供了真实案例。