中国成立数学人工智能联盟，西方学者担忧依赖加深
The Decoder··作者 Manuel Uth
关键信息
联盟计划开发数学专用模型、机器可验证证明和更透明的人工智能推理方法，但专家仍无法确定现有系统是在产生真正的数学洞见，还是主要通过搜索既有方法解决问题。文章还称，丘成桐警告中国正落后于美国。
资讯摘要
中国正通过建立大型机构联盟，回应人工智能辅助数学研究日益增长的趋势。菲尔兹奖得主丘成桐与其他知名中国数学家在北京成立了丘成桐数学与人工智能实验室联盟。据《南华早报》报道，该联盟由八家机构组成，并计划扩展为超过1000名研究人员的网络。报道称，丘成桐表示中国正落后于美国，这为该项目增添了紧迫性。
联盟希望开发数学专用人工智能模型，生成可由机器验证的证明，并提高人工智能推理过程的透明度。相比之下，包括陶哲轩和彼得·舒尔策在内的25位菲尔兹奖得主担心，人工智能生成的证明可能削弱数学理解，并使研究人员依赖自己无法完全掌握的工具。一些数学家呼吁抵制这类证明，另一些人则对自动生成投稿数量的快速增长感到震惊。即使是使用人工智能的专家，也无法就这些系统是在提供真正的数学洞见，还是仅仅暴力搜索已知方法，以及这种区别是否重要，达成共识。
资讯正文
西方数学家担心 AI 让自己变笨，而中国正为此建立整个联盟
随着西方数学家抵制 AI，中国却在进一步加码。菲尔兹奖得主丘成桐与一批中国顶尖数学家周日在北京发起了一个联盟，推动 AI 进入数学研究领域。据《南华早报》报道，“丘成桐数学与人工智能实验室联盟” объединates 八家机构，目标是建立一个拥有超过 1,000 名研究人员的网络。丘成桐警告称，中国正在落后于美国。
在西方，怀疑态度占据主流。包括 Terence Tao 和 Peter Scholze 在内的 25 位菲尔兹奖得主担心，AI 生成的证明会侵蚀数学理解能力，并使研究人员依赖于自己无法理解的工具。数学界部分人士呼吁抵制 AI 生成的证明，另一些人则表示，自动生成投稿的数量之大令他们震惊。与此同时，中国希望构建专用模型，开发可由机器验证的证明，并实现透明的 AI 推理过程。
即使是在使用 AI 的专家中，人们也无法就一个问题达成共识：AI 产生的究竟是真正的数学洞见，还是只是通过蛮力套用已知方法解决问题；又或者，这种区别是否重要。
来源与参考
收录于 2026-10-14