丘成桐牵头成立数学与人工智能实验室联盟，25 位西方菲尔兹奖得主担忧 AI 生成证明

Western mathematicians fear AI makes them dumber while China builds an entire alliance for it

文章要点

1菲尔兹奖得主丘成桐周日在北京牵头成立数学与人工智能实验室联盟，联合八家机构
2联盟目标建成超 1000 名研究者的网络，方向包括专用模型、机器可验证证明与透明 AI 推理
325 位菲尔兹奖得主包括 Terence Tao 与 Peter Scholze，担忧 AI 生成证明削弱数学理解，部分学者呼吁抵制
4丘成桐警告中国在数学与 AI 结合上落后于美国，AI 使用者对是否产生真正数学洞见也无共识

决策要点

数学研究界对 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.

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.