丘成桐新论文致谢GPT和Claude，解决44年前列入清单的数学难题

AI 摘要

丘成桐与两位合作者发表新论文，在致谢中感谢GPT 6 Astra和Claude Pro在部分证明策略探索和计算中提供的帮助。论文处理的是七维空间27种「怪球」能否配上截面曲率严格为正度量的问题，该问题丘成桐1982年曾列入自己的问题清单。论文宣称补上了从「非负曲率」到「正曲率」的关键一步，并附带SageMath验证代码。文章还梳理了丘成桐近三年对AI态度从「不可能有影响」到主动使用AI辅助研究的转变。

正文节选

丘成桐新论文致谢了GPT和Claude 44年前被亲自列入问题清单 克雷西 发自 凹非寺 量子位 | 公众号QbitAI 「AI不可能对最尖端的数学家有任何影响」……吗？ 说出这句话的丘成桐，现在已经用上AI辅助研究了。 而且解决的问题，还是44年前他亲自列入自己的问题清单的。 丘成桐参与的最新论文，在致谢里感谢了GPT 6 Astra和Claude Pro，说它们帮忙探索了部分证明思路和计算。 这篇论文处理的是微分几何里的一个经典猜想。 问题关注的是七维空间，当中的球面有28种不同的「版本」，其中27种和我们熟悉的球面微妙地不同，数学上叫「怪球」。 数学家一直想知道，这些怪球能不能像普通球面一样，每个地方都均匀地向内弯。 怪球1956年就被发现了，但这个弯曲的问题悬了70年。丘成桐1982年把它列进自己的问题清单，排第二位。 现在，这篇AI辅助的论文终于给出了答案。 七维空间的27种「怪球」 1956年，美国数学家米尔诺（John Milnor）构造出了一种奇怪的东西。 它和标准的七维球面在拓扑上完全一样，你可以把它想象成一团橡皮泥，随便揉捏、拉伸，都能变成普通的球面。 但是如果你禁

发布时间：2026-10-02 15:27

抓取时间：2026-10-02 17:09

来源机构：量子位