丘成桐在北京发起数学与 AI 联盟，西方数学家担忧 AI 削弱理解力

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

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

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

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

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