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

丘成桐数学与人工智能实验室联盟10月11日在清华大学成立，将攻关数学科学专用大模型、AI辅助数学形式化证明与猜想发现、可解释人工智能及交叉领域智能计算等方向，推动AI与数学深度融合。 联盟称已集结超1000位数学家和科研工作者，联合求真书院、丘成桐数学科学中心等机构，并发布10余项“AI+数学”重点成果和研究方向。联盟表示将为年轻学者和学生提供前沿指导，推动资源整合，探索中国自己的数学大模型建设路径。

AI 根据报道生成 · 7 小时前更新

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