丘成桐联合八家机构在北京成立数学与 AI 联盟，西方数学界担忧 AI 侵蚀理解力

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

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

即便在使用 AI 的专家中，也没有共识：它究竟是在产生真正的数学洞见，还是仅靠蛮力套用已知方法，抑或这种区分本身是否重要。

不吹不黑的 AI 新闻 – 由人工精选

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