丘成桐牵头北京成立数学与 AI 联盟，汇聚八机构千名科学家

丘成桐在北京牵头成立「丘成桐数学与人工智能实验室联盟」，旨在将 AI 融入数学研究，并警告中国在利用 AI 推进前沿科学方面落后于美国。联盟汇聚 8 家顶尖机构，目标建成超过 1000 名科学家的协作网络。重点方向包括开发面向数学的专用 AI 模型、用 AI 生成猜想与形式化证明，以及构建推理更易解释的系统。