#推理

西方数学家担忧AI致能力退化而中国组建AI数学研究联盟

菲尔兹奖得主丘成桐与多位中国数学家在北京发起“丘成桐数学与人工智能实验室联盟”，联合八家机构并计划构建超1000名研究人员网络以推动AI进入数学研究。与此同时，包括陶哲轩在内的25位菲尔兹奖得主担忧AI生成的证明会削弱数学理解力并使研究者依赖无法追踪的工具，部分社区甚至呼吁抵制AI生成证明。中国方面则致力于开发专用模型、机器可验证证明及透明AI推理系统。