西方数学家担忧AI削弱研究能力，中国成立数学与AI实验室联盟

丘成桐等数学家在北京发起成立“丘成桐数学与人工智能实验室联盟”，联合8家机构并计划汇聚超1000名研究人员，旨在研发数学专用模型与机器可验证证明。与此同时，包括陶哲轩在内的25位菲尔兹奖得主对AI生成证明持审慎态度，担忧其侵蚀数学理解力并导致工具依赖，部分学者甚至呼吁抵制自动化证明提交。目前学界对AI究竟能产生真正的数学洞见还是仅通过暴力破解已有方法仍未达成共识。