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

在西方数学家对 AI 进行抵制之际，中国正在加大投入。菲尔兹奖得主丘成桐（Shing-Tung Yau）与一批中国顶尖数学家于周日在北京发起成立联盟，推动 AI 进入数学研究。据 South China Morning Post 报道，“丘成桐数学与人工智能实验室联盟”联合了八家机构，目标是建立一个由 1000 多名研究人员组成的网络。丘成桐警告称，中国正在落后于美国。

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

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

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

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