How Mathematicians View AI: Research Is Changing, but Humans Still Lead Discovery

这种经历反而令他认识到，天赋并非完全良定义（Well-defined）的东西，“你总要去努力，如果你努力了之后发现能够成功，这就证明你是有一定天赋的。如果你不努力，天赋根本体现不出来。” 邓煜。（网上图片） 当被问及如何看待数学家只能吃青春饭时，邓煜列举了塞尔久·克莱奈尔曼（Sergiu Klainerman）和张益唐等学者的例子，“有这样的榜样在，数学研究跟年龄的关系可能并没有那么大。”邓煜还称，如果没有走上数学研究的道路，可能会去写科幻小说。 ### 数学家如何看AI 在邓煜看来，目前AI在自动证明与形式化上的应用，依然局限于短篇幅、局部步骤的逻辑推导。“AI目前可以给你提供一些思路、小的步骤，甚至做一些小篇幅的讨论，作为研究助手是足够了。但如果说真正独立写出几十页完全独立、高技术含量的证明，目前已知的成果还远远做不到。” AI人工智能（示意图/unsplash@almoya） 王虹邓煜获菲尔兹奖　港大教授：中国数学研究跃升成关键贡献者菲尔兹奖｜中国90后数学家王虹登顶　为百年来首位中国籍女性得主菲尔兹奖︱王虹邓煜获奖　丘成桐：几十年来期盼的愿望终于实现菲尔兹奖名单疑泄漏　王虹邓煜上榜　首迎中国籍得主即梅开二度？ 在Google 追踪《香港01》 [...] # 菲尔兹奖得主邓煜：天赋和努力同样重要　数学家如何看AI浪潮？ 撰文： 盛昀 出版：更新： 在Google 追踪《香港01》 # 菲尔兹奖得主邓煜：天赋和努力同样重要　数学家如何看AI浪潮？ 撰文： 盛昀 出版：更新： 在Google 追踪《香港01》 新华社报道，在7月23日于美国费城举行的2026年国际数学家大会开幕式上，中国籍数学家邓煜与王虹双双获得菲尔兹奖，这是中国籍数学家首次获得菲尔兹奖。 陆媒《第一财经》今年1月曾采访中国籍菲尔兹得主邓煜，邓煜表示，自己曾一度陷入瓶颈期，但这段经历反而使他认识到“如果你不努力，天赋根本体现不出来。”对于AI浪潮邓煜则表示，相比于直接使用AI，他更关注“AI本身的数学基础建设”。 中国数学家邓煜。（解放日报） ### 曾陷入瓶颈期　认为天赋和努力同样重要 邓煜1989年出生，现为美国芝加哥大学教授，近年以第一作者身份破解狭义希尔伯特第六问题，以数学严格方式推导出从微观粒子系统到宏观玻尔兹曼方程的完整逻辑链条。 7月23日，

他说，诺贝尔奖奖的是推动一门学科往前走的成果，菲尔兹奖奖的是相对年轻的天才，目的是鼓励他们继续做数学。 如果这类成就里的AI成分难以评估，那菲尔兹奖的全部意义就成了问题。 评论区当然有人不认。有人回他：这说不通，菲尔兹奖按定义就是给最优秀人类数学家的奖章。 但争议的焦点已经偏移了，是AI时代这个奖要用什么标准去认定「这是你做的」。 Gowers曾在博客中抛出一个假设： 假设一位数学家解决了一个重大问题，方式是跟大模型长时间对话，他在其中起了有效的引导作用，但技术活全是大模型干的，主要想法也是大模型出的。我们会把这当成这位数学家的重大成就吗？ 他的答案是：不会。 他还说，如果你做数学的目标是某种意义上的不朽，是让自己的名字永远和某个定理、某个定义绑在一起，那你要明白，这件事可能撑不了太久了。 但跟难题死磕仍然值得。 Gowers说，价值在于你能获得对解题过程本身的洞察，这种洞察只读别人的答案是换不来的。 他举了一个比方：代码写得好的人，用AI写代码也比水平一般的人强；算术基本功扎实的人，用计算器也更容易察觉出答案不对劲。 把名字留在某个定理上的那个时代，可能正在结束。但解过难题留下的「手感」，正在变成驾驭AI的入门级能力。 在即将到来的国际数学家大会上，另一名菲尔兹奖获得者陶哲轩会在大会上做一场公开讲座，题目叫《AI时代的数学》。 西蒙斯基金会公布的ICM公共活动安排：7月24日晚，陶哲轩主讲《AI时代的数学》。（图源：Simons Foundation） 今年5月，他在斯坦福讲完《新数学工作流》后，曾在Mathstodon上宣布改变自己的工作习惯：不再试图实时跟进所有新证明。 因为AI生成证明的速度，已经超过了人类消化它们的速度。 他还提过一个建议：也许该给AI生成的数学和人类的数学分设不同的发表场所，就像高速公路和人行道。 [...] 13分33秒，模型说有戏，但有两条技术命题需要核实。他让它去核。9分12秒，核完了。再花31分40秒，预印本出来。 Rajagopal看完的评价是：几乎可以肯定是对的。他还特意强调，不只是逐行检查通过，而是连想法都对。 全程加起来不到两个小时。Gowers给这份成果的评价是：相当于组合数学博士论文里完全合理的一章。 真正扎心的，是他后面补充的那句话： 我的数学输入是零，我甚至没在提示词上做任

## AI接连推翻数学猜想，人类还能守住菲尔兹奖吗？ 齐鲁晚报·齐鲁壹点 齐鲁晚报·齐鲁壹点 “本届菲尔兹奖，将是人类最后一次拿下这项数学最高荣誉？”这个论断你相信吗？在王虹、邓煜历史性拿下菲尔兹奖的时候，大会还深入探讨了一个非常关键的问题：迅猛发展的AI究竟会不会取代数学家？国际数学家大会现场，继丘成桐后第二位获菲尔兹奖的华裔数学家陶哲轩当众敲响百年警钟：AI正在引爆数学界前所未有的“价值观危机”。会场外，AI接连推翻悬置数十年的雅可比猜想、埃尔德什单位距离猜想，IMO国际奥数赛场，AI直接交出满分答卷。两个灵魂拷问扑面而来：AI真的会彻底取代数学家吗？我们普通人还有没有必要死磕数学？全释硬科技，我们来一探究竟。 AI究竟是怎么做数学题的呢？ 普通AI像是一个“猜题高手”，比如说我们平时用的大语言模型，本质上还是依靠概率。它通过海量训练数据，计算出概率最高的答案。但这本质是“猜”，有时会产生看似合理实则错误的“幻觉”。而在国际数学奥林匹克竞赛上拿满分的AI，在概率模型的基础上，外加多个智能体分工协作解题，答完题后，还能让计算机像检查程序bug一样，把证明步骤从头到尾验证一遍，保证绝对正确，彻底消灭了“幻觉”的可能。 展开剩余 65 % 但是在竞赛上拿满分，并不代表AI能取代数学家。我们先要搞清楚一件事：数学家的工作，到底是什么？竞赛题目再难，答案也是已知的。而数学家最主要的工作是：自己提出问题、创造新概念、证明定理、引理、推论，进而搭建数学逻辑大厦。 那AI在数学中到底扮演什么角色呢？我们梳理了一下，至少有三大功能。 首先，AI可以作为数学家的“探路者”。 [...] 那AI在数学中到底扮演什么角色呢？我们梳理了一下，至少有三大功能。 首先，AI可以作为数学家的“探路者”。 虽然目前AI在多数情形还无法独立证明前沿猜想，但它可以帮数学家判断研究方向。证实一个猜想，需要漫长复杂的推导；但只要找到一个“反例”，就能立刻宣告此路不通。好比人们曾以为“所有天鹅都是白色”，但只要发现一只黑天鹅，整个论断就被彻底推翻，再也不必满世界去寻找白天鹅。今年数学家就通过AI，找到了雅可比猜想和埃尔德什单位距离猜想的“黑天鹅”，从而证明了原猜想是错误的。AI的大规模计算探索，能快速排除那些走不通的路线，避免数学家耗费几年甚至几十年，在错误的道路上埋头苦干。

倪忆：女生越来越少，有社会原因。大家可能形成了思维定势，觉得女生不适合学数学。如果一个女生说想学数学，大家会说太苦了，女生应该学中文或去学医。这是一种社会心理。但我相信王虹得了菲尔兹奖之后，会有更多女孩以她为榜样，打破这个思维定式。 竞赛可能确实有些特点，需要在很短时间内解决很难的题，可能不太适合多数女生的思维方式。但做科研是长跑，需要对一个问题持续进行非常深入的思考，这一点上男女都能做到，不是只有男生能做。女生同样可以。 AI都会做数学了，我们还学什么？ 湃客Talk：齐默曼说AI能帮他完成80%的工作，还预测AI很快会在数学方面超过数学家。您怎么看？ 倪忆：至少从目前看，AI一个很大的优点是它掌握了人类有史以来几乎所有的数学知识，能迅速发现其中的联系。一个数学家一生可能精通一两个领域，多的三四个，但每个领域可能有成百上千篇文章，你不可能了解所有细节。AI可以做到，它能掌握几十个分支、几百万篇文章，然后组合在一起，发现以前的人无法发现的联系。在这方面它肯定超过我们所有人。 另外它的计算速度非常快。丘成桐先生做卡拉比猜想时，据说光是一个估计就测试了将近5000个不同函数，那个年代连计算机都没有，全靠纸笔，工作量巨大。现在用AI，5000个测试函数可能几个小时就能完成。 不过，AI目前主要还是综合已知的东西。在探索完全未知的领域，比如在爱因斯坦的时代，AI能不能自主发现相对论？我是有些怀疑的。因为相对论是以前的人想都没有想过的问题，时间在不同坐标系下会改变，这种创新是前所未有的。AI很大程度上还是综合现有知识，这种创新，目前还看不到迹象。 湃客Talk：那普通人学数学，到底有什么用？高考之后好像都还给老师了。 [...] cover # 菲尔兹奖“中国时刻”背后：走进真实的数学家世界｜湃客Talk 2026-07-27 07:12 澎湃新闻·澎湃播客 > 近日，王虹和邓煜双双斩获菲尔兹奖，这是中国籍数学家首次获此殊荣。与此同时，四位获奖者之一的雅各布·齐默曼宣布加入OpenAI，并公开表示AI很可能会在数学方面很快超过数学家。 消息传回国内，我们一边欣喜于菲尔兹奖的“中国时刻”，一边也开始思考数学人才培养与人工智能带来的系列命题。 本期《湃客Talk》，我们邀请到北大校友、加州理工学院数学系教授倪忆，从获奖新闻聊起，一同寻找问题的答案。 本期

| | | | | | | | AI接连推翻数学猜想，人类还能守住菲尔兹奖吗？ | | | “本届菲尔兹奖，将是人类最后一次拿下这项数学最高荣誉？”这个论断你相信吗？在王虹、邓煜历史性拿下菲尔兹奖的时候，大会还深入探讨了一个非常关键的问题：迅猛发展的AI究竟会不会取代数学家？国际数学家大会现场，继丘成桐后第二位获菲尔兹奖的华裔数学家陶哲轩当众敲响百年警钟：AI正在引爆数学界前所未有的“价值观危机”。 会场外，AI接连推翻悬置数十年的雅可比猜想、埃尔德什单位距离猜想，IMO国际奥数赛场，AI直接交出满分答卷。两个灵魂拷问扑面而来：AI真的会彻底取代数学家吗？我们普通人还有没有必要死磕数学？全释硬科技，我们来一探究竟。 AI究竟是怎么做数学题的呢？ 普通AI像是一个“猜题高手”，比如说我们平时用的大语言模型，本质上还是依靠概率。它通过海量训练数据，计算出概率最高的答案。但这本质是“猜”，有时会产生看似合理实则错误的“幻觉”。而在国际数学奥林匹克竞赛上拿满分的AI，在概率模型的基础上，外加多个智能体分工协作解题，答完题后，还能让计算机像检查程序bug一样，把证明步骤从头到尾验证一遍，保证绝对正确，彻底消灭了“幻觉”的可能。 但是在竞赛上拿满分，并不代表AI能取代数学家。我们先要搞清楚一件事：数学家的工作，到底是什么？竞赛题目再难，答案也是已知的。而数学家最主要的工作是：自己提出问题、创造新概念、证明定理、引理、推论，进而搭建数学逻辑大厦。 那AI在数学中到底扮演什么角色呢？我们梳理了一下，至少有三大功能。 首先，AI可以作为数学家的“探路者”。 [...] | | | | | | | AI接连推翻数学猜想，人类还能守住菲尔兹奖吗？ | | | “本届菲尔兹奖，将是人类最后一次拿下这项数学最高荣誉？”这个论断你相信吗？在王虹、邓煜历史性拿下菲尔兹奖的时候，大会还深入探讨了一个非常关键的问题：迅猛发展的AI究竟会不会取代数学家？国际数学家大会现场，继丘成桐后第二位获菲尔兹奖的华裔数学家陶哲轩当众敲响百年警钟：AI正在引爆数学界前所未有的“价值观危机”。 会场外，AI接连推翻悬置数十年的雅可比猜想、埃尔德什单位距离猜想，IMO国际奥数赛场，AI直接交出满分答卷。两个灵魂拷问扑面而来：AI真的会彻底取代数学家吗？我们普通人还有没

央视新闻客户端 | 作者 帅俊全 褚尔嘉 董良言 胡启晨 2026-08-03 22:16 语音播报 时事 进入频道 “本届菲尔兹奖，将是人类最后一次拿下这项数学最高荣誉？”这个论断你相信吗？在王虹、邓煜历史性拿下菲尔兹奖的时候，大会还深入探讨了一个非常关键的问题：迅猛发展的AI究竟会不会取代数学家？国际数学家大会现场，继丘成桐后第二位获菲尔兹奖的华裔数学家陶哲轩当众敲响百年警钟：AI正在引爆数学界前所未有的“价值观危机”。会场外，AI接连推翻悬置数十年的雅可比猜想、埃尔德什单位距离猜想，IMO国际奥数赛场，AI直接交出满分答卷。两个灵魂拷问扑面而来：AI真的会彻底取代数学家吗？我们普通人还有没有必要死磕数学？全释硬科技，我们来一探究竟。 AI究竟是怎么做数学题的呢？ 普通AI像是一个“猜题高手”，比如说我们平时用的大语言模型，本质上还是依靠概率。它通过海量训练数据，计算出概率最高的答案。但这本质是“猜”，有时会产生看似合理实则错误的“幻觉”。而在国际数学奥林匹克竞赛上拿满分的AI，在概率模型的基础上，外加多个智能体分工协作解题，答完题后，还能让计算机像检查程序bug一样，把证明步骤从头到尾验证一遍，保证绝对正确，彻底消灭了“幻觉”的可能。 但是在竞赛上拿满分，并不代表AI能取代数学家。我们先要搞清楚一件事：数学家的工作，到底是什么？竞赛题目再难，答案也是已知的。而数学家最主要的工作是：自己提出问题、创造新概念、证明定理、引理、推论，进而搭建数学逻辑大厦。 那AI在数学中到底扮演什么角色呢？我们梳理了一下，至少有三大功能。 首先，AI可以作为数学家的“探路者”。 [...] 聊完这些，我们可以相信，AI肯定会帮助数学更快发展。或许未来菲尔兹奖的研究成果里肯定会有AI的身影，但提出猜想、创造全新概念、搭建完整理论体系的还是人类数学家，唯有他们能触碰数学真正的灵魂。AI擅长穷尽繁杂的计算，负责走完已知的逻辑；而人类，才是奔赴未知、开拓全新数学世界的先行者。 滚动新闻 进入专题 编辑：李拓 打开APP阅读全文 [...] 那AI在数学中到底扮演什么角色呢？我们梳理了一下，至少有三大功能。 首先，AI可以作为数学家的“探路者”。 虽然目前AI在多数情形还无法独立证明前沿猜想，但它可以帮数学家判断研究方向。证实一个猜想，需要漫长复杂的推导；但