西方数学家担忧 AI 削弱理解力，中国成立数学与人工智能联盟
Western mathematicians fear AI makes them dumber while China builds an entire alliance for it
丘成桐与一批中国数学家周日在北京成立“丘成桐数学与人工智能实验室联盟”，推动 AI 进入数学研究。联盟汇集 8 家机构，计划建立一个拥有 1,000 多名研究人员的网络，并致力于开发专用模型、机器可验证的证明和透明的 AI 推理。西方有 25 位菲尔兹奖得主担心 AI 生成的证明会削弱数学理解、使研究者依赖难以理解的工具，数学界对 AI 是否能带来真正的数学洞见也没有共识。
As Western mathematicians push back against AI, China is doubling down. Fields Medal winner Shing-Tung Yau and a group of leading Chinese mathematicians launched an alliance on Sunday in Beijing to push AI into math research. The "Yau Laboratory Alliance for Mathematics and Artificial Intelligence" unites eight institutions and aims to build a network of over 1,000 researchers, the South China Morning Post reports. Yau warned that China is falling behind the US.
In the West, skepticism dominates. Twenty-five Fields Medal winners, including Terence Tao and Peter Scholze, worry that AI-generated proofs erode mathematical understanding and make researchers dependent on tools they can't follow. Parts of the community are calling for a boycott of AI-generated proofs, while others say they're shocked by the sheer volume of automated submissions. China, meanwhile, wants to build specialized models, develop machine-verifiable proofs, and create transparent AI reasoning.
Even among experts who use AI, there's no consensus on whether it produces genuine mathematical insight or just brute-forces its way through known methods, or if that distinction even matters.
AI News Without the Hype – Curated by Humans
Subscribe to THE DECODER for ad-free reading, a weekly AI newsletter, our exclusive "AI Radar" frontier report six times a year, full archive access, and access to our comment section.
来源：The Decoder · the-decoder.com