西方数学家担忧 AI 让数学变笨，中国成立数学与 AI 联盟全面推进

菲尔兹奖得主丘成桐周日联合八家机构在北京发起"丘成桐数学与人工智能联盟"，目标是组建超过 1,000 名研究人员的网络。与此同时，25 位西方菲尔兹奖得主（包括陶哲轩、Peter Scholze）警告 AI 生成的证明会侵蚀数学理解，呼吁抵制此类证明。中国方面则计划建设专用模型、开发机器可验证证明并推动 AI 推理透明化。