The Decoder · 2026/10/13 22:37:53
丘成桐领衔中国八校组建 AI 数学联盟，与西方菲尔兹奖得主抵制浪潮形成鲜明对立
丘成桐联合北京八所机构成立“数学与人工智能实验室联盟”，旨在构建超千名研究者的网络以加速 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.