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

丘成桐数学与人工智能实验室联盟10月11日在清华大学成立，将围绕数学专用大模型、AI辅助数学证明与猜想发现、可解释人工智能等领域开展攻关。联盟发布10余项“AI+数学”重点成果和研究方向，并集结超1000位数学家和科研工作者，联合多家高校及研究机构探索中国自己的数学大模型建设路径。