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

10月11日，丘成桐数学与人工智能实验室联盟在清华大学成立，将向数学科学专用大模型研发、AI辅助数学形式化证明等领域发起攻关。联盟集结超1000位数学家和科研工作者力量，联合多家机构，推动AI与数学深度融合。