📖 AI 总结

数学家丘成桐参与的最新论文在致谢中提及GPT和Claude辅助探索证明思路与计算，引发关注。论文处理的是微分几何中一个悬置约七十年的经典问题：七维空间中除标准球面外的27种“怪球”，能否被赋予截面曲率处处严格为正的度量。该问题1956年随怪球发现而浮现，丘成桐1982年将其列入个人问题清单第二位。此前学界已证明28种球面均可具备非负曲率，但从“非负”跨越到“严格为正”始终未能突破。论文采用双圆盘模型，借助主丛、黎曼淹没与奥尼尔公式，将问题提升至十维空间构造再投影回七维，并附SageMath验证代码。若结果获同行认可，这一长期难题将被彻底解决。此事也折射出丘成桐对AI态度从否定到逐步接纳的转变。