丘成桐数学与AI实验室联盟在清华成立：有哪些关键信息？

联盟于10月11日在清华大学成立，攻关数学专用大模型等方向。

联盟发布10余项AI+数学成果，涉及几何、量子计算等方向。

7维同伦球面研究中，AI辅助探索证明策略并简化计算。

联盟已集结超1000位数学家和科研工作者。

丘成桐称AI浪潮倒逼数学界重新思考学科本质价值。

物界前沿 · 资讯情报卡（IT之家 · 2026/10/12）

丘成桐数学与AI实验室联盟在清华成立

核心事实

关键数据

超1000位联盟成员数

10余项发布成果数

物界观察

数学界正主动把AI纳入证明与猜想流程，而非被动应对。千人大联盟加机构联动，实质是抢建中国自己的数学大模型与形式化基础设施。对用户和研究者而言，AI辅助证明若跑通，数学研究效率或迎来结构性提升，值得持续跟踪。