丘成桐数学与人工智能实验室联盟在清华成立

2026年10月11日，丘成桐数学与人工智能实验室联盟在清华大学成立，将向数学科学专用大模型研发、AI辅助数学形式化证明与猜想发现、可解释人工智能及交叉领域智能计算等方向发起攻关，推动AI与数学深度融合。据IT之家10月12日报道，联盟已集结超1000位数学家和科研工作者的力量，联合清华大学求真书院、丘成桐数学科学中心以及北京雁栖湖应用数学研究院、中国科学院晨兴数学中心、上海数学与交叉学科研究院、东南大学丘成桐中心、河套数学与交叉学科研究院（深圳）、香港中文大学致真交叉数学科学院等机构。联盟表示将为年轻学者和学生提供前沿指导，并积极推动资源整合，探索属于中国自己的数学大模型建设路径。目前公开信息为成立及方向、参与机构与人员规模，尚无具体项目进展披露。

AI 根据报道生成 · 42 分钟前更新

还没有足够的连续观测数据，暂不绘制趋势。