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

10月11日，由清华大学讲席教授丘成桐牵头，联合清华大学求真书院、北京雁栖湖应用数学研究院等8家数学研究机构组建的丘成桐数学与人工智能实验室联盟在清华大学成立。该联盟汇聚近1000名高端数学人才，明确了研发数学科学专用模型、建设AI辅助数学研究基础设施、支撑AI可解释性与安全性等六项重点任务。联盟还将通过大型模型训练资源、形式化数学库和算力平台向参与机构开放共享。