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

丘成桐数学与人工智能实验室联盟 10 月 11 日在清华大学成立，将攻关数学科学专用大模型、AI 辅助数学形式化证明与猜想发现、可解释人工智能及交叉领域智能计算等方向。