西方数学家担忧AI削弱理解力，中国组建AI数学联盟

丘成桐领衔的中国数学家在北京成立“丘成桐数学与人工智能实验室联盟”，集结八家机构、超千名研究人员，致力于构建专用模型、开发机器可验证证明及透明AI推理。与此同时，包括陶哲轩在内的25位菲尔兹奖得主担忧AI生成的证明会侵蚀数学理解并导致依赖，部分学者呼吁抵制AI证明，学界对AI是否产生真正数学洞察尚无共识。