丘成挺领衔成立数学与人工智能实验室联盟，西方数学家担忧 AI 削弱研究能力

当西方数学家抵制 AI 之际，中国却在加码投入。菲尔兹奖得主丘成桐与一批中国顶尖数学家于周日在北京成立了一个联盟，推动 AI 进入数学研究。据《南华早报》报道，"丘成桐数学与人工智能实验室联盟"联合了八家机构，目标是建立一个超过 1000 名研究人员的网络。丘成桐警告称，中国正在落后于美国。

在西方，怀疑态度占主导地位。包括陶哲轩和 Peter Scholze 在内的 25 位菲尔兹奖得主担忧，AI 生成的证明会削弱对数学的理解，并使研究人员依赖他们无法看懂的工具。部分数学界人士呼吁抵制 AI 生成的证明，而另一些人则表示他们对自动投稿的数量之多感到震惊。与此同时，中国希望构建专门化模型、开发机器可验证的证明，并创建透明的 AI 推理。

即使在会使用 AI 的专家中，对于它究竟是产生真正的数学洞见，还是只是用已知方法进行暴力求解，抑或这种区分是否重要，也没有共识。

没有炒作的 AI 新闻——由人工精选

订阅 THE DECODER，享受无广告阅读、每周 AI 新闻通讯、每年六期的独家"AI Radar"前沿报告、完整档案访问权限以及评论区的访问权限。