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

菲尔兹奖得主丘成桐与一批中国数学家周日在北京成立“丘成桐数学与人工智能实验室联盟”，联合八家机构，计划建立一个拥有 1,000 多名研究人员的网络。联盟计划开发专用模型、机器可验证的证明和透明的 AI 推理；与此同时，25 位菲尔兹奖得主担忧 AI 生成的证明会削弱数学理解并使研究者依赖难以理解的工具。