超千名数学家集结，丘成桐数学与人工智能实验室联盟在清华大学成立

丘成桐数学与人工智能实验室联盟在清华大学成立，将围绕数学科学专用大模型研发、AI 辅助数学形式化证明与猜想发现、可解释人工智能等方向发起攻关，推动 AI 与数学深度融合。

联盟发布了 10 余项“AI+数学”重点成果和研究方向，涵盖几何、量子计算、生命科学等领域。以“7 维同伦球面”研究为例，AI 辅助探索证明策略、简化计算，计算代数系统核验精确恒等式，数学家负责完成论证与论文。

联盟已集结超 1000 位数学家和科研工作者，联合清华大学求真书院、上海数学与交叉学科研究院等多家机构。牵头人丘成桐表示，数学界必须在 AI 浪潮中冲浪而非躲避，联盟将探索中国自己的数学大模型建设路径。