丘成桐领衔中国成立数学与人工智能联盟，西方数学家担忧 AI 削弱研究能力

丘成桐联合八家机构在北京成立“数学与人工智能尤实验室联盟”，计划构建超千名研究人员网络以推动 AI 进入数学研究。西方方面，包括陶哲轩在内的二十五位菲尔兹奖得主担忧 AI 生成证明会侵蚀数学理解并导致研究者依赖无法跟进的工具。中国正致力于开发专用模型、构建机器可验证证明及透明 AI 推理，而西方社区对是否抵制 AI 生成证明尚无共识。