丘成桐领衔数学与AI实验室联盟在京成立，拟联合八机构建千人网络

菲尔兹奖得主丘成桐领衔的“数学与人工智能实验室联盟”于10月11日在北京正式成立。

该联盟由8家领先机构组成，目标是构建一个超过1,000名科学家的研究网络。丘成桐警告称，中国在利用AI推进前沿科学方面落后于美国。

联盟将专注于开发用于数学的专用AI模型，利用该技术生成猜想和形式化证明，并构建推理更易于解释的系统。目前尚无可验证的具体技术产出。