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

丘成桐数学与人工智能实验室联盟在清华大学成立，将推动数学科学专用大模型研发、AI 辅助数学形式化证明与猜想发现等领域攻关。联盟已集结超千位数学家和科研工作者，联合多家机构探索中国自己的数学大模型建设路径并发布了多项重点成果和研究方向。