丘成桐新论文致谢 GPT 和 Claude，AI 辅助解决 44 年前悬而未决的怪球问题

丘成桐参与的最新论文在致谢中感谢了 GPT 6 Astra 和 Claude Pro 在部分证明策略探索和计算中的帮助。该论文宣称解决了七维空间中 27 种怪球能否配备正截面曲率度量的经典猜想，该问题自 1982 年被丘成桐列入问题清单以来悬而未决。论文附带 SageMath 验证代码，计算机验证成为证明可信度的重要支撑。