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

丘成桐数学与人工智能实验室联盟在清华大学成立，将攻关数学科学专用大模型研发、AI 辅助数学形式化证明与猜想发现等领域。联盟已集结超 1000 位数学家和科研工作者，联合多家机构推动资源整合与数学大模型建设。AI 在该联盟的研究中用于辅助探索证明策略、简化计算，并为科学家提供思路启发。