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

丘成桐数学与人工智能实验室联盟在清华大学成立，将围绕数学科学专用大模型、AI 辅助形式化证明与猜想发现、可解释人工智能及交叉领域智能计算发起攻关。联盟发布 10 余项“AI+数学”重点成果和研究方向，并已集结超 1000 位数学家和科研工作者；相关研究由 AI 探索证明策略、计算代数系统核验结果，数学家完成论证。