原题：Western mathematicians fear AI makes them dumber while China builds an entire alliance for it
菲尔兹奖得主丘成桐与多位中国数学家周日在京成立「丘成桐数学与人工智能实验室联盟」，联合 8 家机构，计划建成超 1000 名研究者的网络，推动 AI 进入数学研究。丘成桐警告中国正在落后于美国。西方数学界则普遍怀疑：包括 Terence Tao、Peter Scholze 在内的 25 位菲尔兹奖得主担心 AI 生成的证明侵蚀数学理解、让研究者依赖无法看懂的工具，部分人呼吁抵制 AI 生成的证明，也有人对自动化投稿的数量感到震惊。中国方面希望构建专用模型、可机器验证的证明和透明的 AI 推理。即便在使用 AI 的专家中，AI 究竟带来真正的数学洞见还是只是暴力搜索已知方法，也没有共识。
推荐理由中美在 AI for Math 上的路线分歧，8 家机构、1000 人规模是具体数字
在西方数学家对 AI 提出抵制之际，中国正在加大投入。菲尔兹奖得主丘成桐（Shing-Tung Yau）与一批中国顶尖数学家于周日在北京发起成立一个联盟，推动 AI 进入数学研究。这个名为“丘成桐数学与人工智能实验室联盟”（Yau Laboratory Alliance for Mathematics and Artificial Intelligence）的联盟联合了 8 家机构，目标是建立一个由 1000 多名研究人员组成的网络，据南华早报报道。丘成桐警告称，中国正在落后于美国。
在西方，怀疑情绪占据主导。包括陶哲轩（Terence Tao）和彼得·舒尔策（Peter Scholze）在内的 25 位菲尔兹奖得主担忧AI 生成的证明会侵蚀数学理解，并使研究人员依赖他们无法跟上的工具。部分学界人士呼吁抵制AI 生成的证明，而另一些人则表示，他们对自动化投稿的庞大体量感到震惊。与此同时，中国希望构建专用模型、开发机器可验证的证明，并打造透明的 AI 推理。
即便在使用 AI 的专家中，对于它究竟能产生真正的数学洞见，还是只是用蛮力套用已知方法，亦或这种区分是否重要，也没有共识。
本文内容转载自 The Decoder，由 AI（deepseek-chat）翻译整理，版权归原作者所有。
阅读原文 ↗ https://the-decoder.com/western-mathematicians-fear-ai-makes-them-dumber-while-china-builds-an-entire-alliance-for-itThe Decoder · 10/13 22:37 · 已取全文
标题与摘要由 AI（deepseek-chat）改写，可能有误，以原文为准。