丘成桐牵头成立数学与 AI 实验室联盟；打头的成果是一篇声称全部 7 维怪球都能带正曲率的预印本，AI 只管探索思路和计算

这件事意味着什么

【要点】

10 月 11 日，菲尔兹奖得主、清华大学求真书院院长丘成桐牵头的「丘成桐数学与人工智能实验室联盟」在清华成立。成员包括清华求真书院、丘成桐数学科学中心、北京雁栖湖应用数学研究院、中科院晨兴数学中心、上海数学与交叉学科研究院、东南大学丘成桐中心、河套数学与交叉学科研究院（深圳）和香港中文大学致真交叉数学科学院，称已有超过 1000 名科学家。公布的攻关方向有四个：数学专用大模型、AI 辅助形式化证明与猜想发现、可解释 AI、交叉领域智能计算。当天还发布了 10 余项「AI+数学」成果和研究方向，涉及退化阿诺德猜想、7 维同伦球面等问题。

【可核验】

北京日报客户端当天的报道给出了成员名单、方向和分工：在 7 维同伦球面研究里，AI 用来辅助探索证明策略、简化计算，计算代数系统核验恒等式和区间界、生成可复现的计算证书，构思、证明和论文由数学家负责。这项研究对应 9 月下旬上线 arXiv 的预印本《Positive sectional curvature on all smooth 7-spheres》（编号 2609.29426，作者何杨辉、刘子然、丘成桐），声称给全部 28 类光滑 7 维同伦球面（其中 27 类是「怪球」）都构造出截面曲率处处为正的度量：把每个球面拆成两个 7 维圆盘分别造正曲率度量，再用 Reiser–Wraith 粘合定理接起来。论文致谢写明感谢「ChatGPT 6 Astra 和 Claude Pro」在部分证明策略探索和计算上的帮助，人工核验和行文由作者负责；源代码、精确算术证书和独立的证书检查器都已公开。此前同类工作只针对其中一种怪球（Gromoll–Meyer 球面），9 月 11 日另一篇 arXiv 预印本（2609.12882）还称，它的度量和证明是由名为 Odin 的自动 AI 研究智能体发现的。

【我们的判断】

值得看的不是联盟名单，而是它摆出的分工模板：模型出思路、做计算，计算机代数出可复现的证书，人负责论证并为结论负责。这和陶哲轩最近在加州理工演讲里说的「AI 让证明不再稀缺」是同一个背景，丘成桐这边直接把核验能力组织成了机构。7 维怪球能否带正截面曲率是微分几何里悬了几十年的问题，如果 2609.29426 经得起同行审查，会是 AI 参与的分量最重的纯数学结果之一。但它目前只是预印本，Gromoll–Meyer 球面此前几次正曲率构造也都停留在「被提出」，公开的计算证书能让外界更快检验数值部分，替代不了对构造本身的审查。同一个问题上，一边是人主导、AI 辅助，一边是 Odin 声称 AI 自己找到度量和证明，哪条路线站得住，要看接下来几个月的复核。联盟还没公布专用大模型的时间表和算力安排，「1000 名科学家」能否变成持续产出，也要再看。