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

10 月 11 日，丘成桐数学与人工智能实验室联盟在清华大学成立，将攻关数学科学专用大模型研发、AI 辅助数学形式化证明与猜想发现、可解释人工智能等领域。联盟发布 10 余项“AI+数学”重点成果和研究方向，已集结超 1000 位数学家和科研工作者，联合清华求真书院、丘成桐数学科学中心、北京雁栖湖应用数学研究院等多家机构，探索中国自己的数学大模型建设路径。