丘成桐新论文致谢 GPT 6 Astra 和 Claude Pro，宣称解决 44 年前自己列出的七维怪球正曲率问题

丘成桐参与的最新论文在致谢中感谢 GPT 6 Astra 和 Claude Pro 在部分证明策略探索与计算中提供的帮助，论文宣称证明七维空间 28 种球面（含 27 种「怪球」）每一种都能配上截面曲率严格为正的度量，该问题 1982 年被丘成桐列入自己的问题清单并排在第二位。论文还附带一套用 SageMath 编写的验证代码，并声明人工验证与论文写作责任由作者承担。