中国成立数学与AI联盟，西方学者表达担忧

周日，在北京，由菲尔兹奖得主丘成桐牵头的一批人士宣布成立“丘成桐数学与人工智能实验室联盟”。该联盟汇集了中国八家研究机构，计划建立一个由1,000多名数学家组成的网络，共同研究用于数学的AI工具。《南华早报》报道了这一消息。

西方数学家为何感到不安

在欧洲和美国，越来越多的知名数学家开始抵制AI生成的证明。包括陶哲轩和Peter Scholze在内的25位菲尔兹奖得主表示，依赖AI可能会削弱研究人员理解证明推理过程的能力。有人呼吁抵制AI生成的研究成果，也有人对如今大量论文将AI工具列为共同作者感到担忧。

中国的数学AI战略

中国的这一联盟专注于开发能够生成机器可验证证明的专业AI模型。他们还希望这些系统能够解释推理过程，以便其他研究人员进行核查。丘成桐警告说，如果不采取协调一致的行动，中国可能会在数学研究领域落后于美国。