**丘成桐数学与AI实验室联盟在清华成立，集结千名学者攻关数学大模型**

_丘成桐数学与人工智能实验室联盟在清华大学成立，推动 AI 与数学深度融合_

> 丘成桐数学与人工智能实验室联盟在清华大学成立，旨在推动AI与数学深度融合。联盟集结超1000名学者，聚焦数学专用大模型研发、AI辅助形式化证明及可解释AI等领域，发布了10余项重点成果，并探索中国自主数学大模型建设路径。

**来源信息**
- **来源**：IT之家（RSS）
- **分类**：行业
- **发布时间**：2026-10-12 11:15（北京时间）
- **原文**：[打开原文](https://www.ithome.com/1/011/814.htm)