丘成桐牵头八家数学机构成立数学与 AI 实验室联盟，计划汇聚近千人研发数学专用模型与形式化基础设施

10 月 11 日，丘成桐数学与人工智能实验室联盟在清华大学求真书院挂牌成立，由清华大学求真书院、丘成桐数学科学中心、北京雁栖湖应用数学研究院、中科院晨兴数学中心、上海数学与交叉学科研究院、东南大学丘成桐中心、河套数学与交叉学科研究院（深圳）和香港中文大学致真交叉数学科学院等八家机构组成。官方信息称联盟将汇聚近千名数学人才与科研团队，重点自主研发数学科学专用模型，并共享大模型训练资源、形式化数学库与算力平台，同时推进 AI 辅助形式化证明、猜测发现、可解释 AI 和交叉领域智能计算。