丘成桐新论文致谢 GPT 与 Claude 辅助研究七维怪球正曲率问题

丘成桐参与的最新微分几何论文在致谢中感谢了 GPT 6 Astra 和 Claude Pro 在部分证明策略探索与计算中提供的帮助。该研究宣称证明了全部28种七维球面均能配上截面曲率严格为正的度量，并附带了用于检验复杂曲率估计的 SageMath 代码。这标志着顶尖数学家正逐步将 AI 工具引入尖端纯数学的前沿研究流程中。