西方数学家担心 AI 让人变笨，中国发起丘成桐数学与人工智能实验室联盟

当西方数学家抵制人工智能时，中国正在加码推进。菲尔兹奖得主丘成桐与一批中国顶尖数学家周日在北京发起联盟，推动将人工智能引入数学研究。“丘成桐数学与人工智能实验室联盟”联合八家机构，旨在建立一个超过1,000名研究人员的网络，《南华早报》报道。丘成桐警告称，中国正落后于美国。

在西方，怀疑态度占主导。包括陶哲轩和彼得·朔尔策在内的25位菲尔兹奖得主担心，人工智能生成的证明会侵蚀数学理解，并让研究人员依赖他们无法跟上的工具。部分学界人士呼吁抵制人工智能生成的证明，另一些人则表示他们对自动投稿数量之大感到震惊。与此同时，中国希望打造专用模型、开发机器可验证的证明，并实现透明的人工智能推理。

即便在使用人工智能的专家当中，对于它究竟是产生了真正的数学洞见，还是只是靠蛮力走通已知方法，又或者这种区别是否重要，也没有共识。

无炒作的人工智能新闻——由人工策展

订阅THE DECODER，即可享受无广告阅读、每周人工智能通讯、每年六期独家“AI Radar”前沿报告、完整存档访问权限，以及评论区访问权限。