丘成桐在北京发起数学与 AI 联盟，西方数学家担忧 AI 削弱理解力
Western mathematicians fear AI makes them dumber while China builds an entire alliance for it
菲尔兹奖得主丘成桐与多位中国数学家周日在京发起“丘成桐数学与人工智能实验室联盟”，联合八家机构，目标建成超 1000 名研究者的网络，丘成桐警告中国正落后于美国。西方数学界则普遍存疑，25 位菲尔兹奖得主包括 Terence Tao 和 Peter Scholze 担忧 AI 生成的证明侵蚀数学理解、让研究者依赖无法跟进的工具，部分人呼吁抵制 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.