陶哲轩2026年国际数学家大会警示：AI正将数学推向“证明过剩”时代
在2026年国际数学家大会上，数学家陶哲轩发表演讲，警示AI正将数学从“证明稀缺”推向“证明过剩”时代，而比算错更危险的是，下一代数学家可能因过度依赖AI而丧失数学直觉。
陶哲轩表示，几千年来数学界依靠“证明稀缺”运行，如今AI批量生成证明的速度已远超人类消化能力，数学正经历其他学科早已遭遇的“数据洪流”革命。他在Erdős问题网站上观察到约20篇AI辅助解题方案积压待审，提交者坦言没有时间手动验证。陶哲轩也宣布，自己不再试图实时跟进所有新证明。
他将大语言模型定性为“随机生成文本的猜谜机”，依赖概率预测下一词，错误具有内在必然性，误差率可以优化但无法消除。在针对开放数学问题的系统性测试中，AI真实成功率仅为1%到2%，绝大多数需要创造性突破的难题无法靠“猜”解决。陶哲轩把科学比作远足，认为AI像直升机直接把人带到瀑布前，目标高效达成，但人对地形一无所知，也发现不了更壮观的瀑布。
关于数学研究底线，陶哲轩提出一项有争议的准则：如果作者不能以专家水平清晰阐释其成果，即使证明已通过Lean等工具形式化验证，也不应发表。他强调，数学论文的价值在于提供“认知地图”，标注哪里有悬崖、哪里需要绕行，而AI生成的“光滑文本”可能掩盖真正值得学习的思考痕迹。他同时提醒，AI最擅长“训练题”级别的项目，而这正是研究生积累经验的第一步，“我们可能优化掉当前技术能做的一切，但再也发展不出真正原创的新想法了”。
- 2026-08-31 06:31 | 新浪：陶哲轩预警数学百年新危机：AI证明过剩时代，如何区分形式正确与语义忠实？阅读原文
陶哲轩：100年后数学再度大危机！ 2026年8月，菲尔兹奖得主、华裔数学家陶哲轩在2026年国际数学家大会（ICM）上发出警告：随着AI能力逼近研究级数学水平，数学将从“证明稀缺”时代进入“证明过剩”时代，而“证明消化不良”正成为共同体面临的最大挑战。他直言，如果作者无法以专家水平清晰解释其结果，即使该证明已通过形式化验证，也不应予以发表[1][10]。这一论断直接指向一个核心矛盾——AI可以生成语法完美、逻辑自洽的论文，但“形式正确≠语义忠实”[3]，数学正在濒临一场超越理解力的百年新危机。 事件还原：一场演讲引发的“数学地震” 陶哲轩在2026年ICM公众演讲《人工智能时代的数学》...
- 2026-08-31 06:25 | 新浪：AI会取代人类数学家的工作吗？阅读原文
菲尔兹奖得主陶哲轩在2026年国际数学家大会上发表《人工智能时代的数学》演讲，明确指出AI解数学难题真实成功率仅1%-2%，数学正从"证明稀缺"走向"证明过剩"时代，但人类数学家不会被取代——他们将从解题者转变为定义问题、筛选成果、承担责任的"掌舵人"。 一、陶哲轩的核心判断：AI是工具而非替代者 AI本质是"猜谜机"：陶哲轩将大语言模型定义为基于概率预测下一词的随机系统，误差虽可优化但无法消除，因此错误具有内在必然性。 系统性测试数据：对于任意给定未解难题，当前AI有效成功率仅1%-2%；AI在成千上万道题中大规模试错后，只有极少数成功样本被展示出来。 "过度优化"的隐忧：若只盯着A...
- 2026-08-31 06:25 | 新浪：数学界如何应对AI带来的证明验证难题？阅读原文
菲尔兹奖得主陶哲轩近期在2026年国际数学家大会等场合密集发声，警告AI正在引发数学界一场深刻的“证明验证危机”——当AI能以极低成本批量产出看似完美的数学论文，人类共同体消化、验证与理解证明的能力正面临前所未有的挑战。 一、危机核心：AI产出与人类验证能力的剪刀差 证明生产过剩：AI正在加速数学证明的“生成”环节，大量待验证解法涌入，陶哲轩直言数学界正经历“证明消化不良”。卡耐基梅隆大学博士生哈里哈兰团队两年钻研的项目，据称被AI公司用大模型5天内抢发。 文本过于光滑：AI生成的论文在语法、格式上几乎无可挑剔，却常在最关键步骤一笔带过，因为AI对“哪里难”没有体感，无法像人类作者那样在...
- 2026-08-31 05:14 | 新浪：陶哲轩警告数学百年危机：AI解出7道研究级难题，为何证明越多理解越少？阅读原文
陶哲轩在2026年国际数学家大会上发出警告：AI正在制造数学界的“百年危机”——10道从未公开的研究级新题中，AI解出7道，但证明过剩导致人类数学家难以消化，更严重的是AI生成的平滑文本正在抹去理解的痕迹，下一代数学家的理解能力可能退化。 菲尔兹奖得主、21世纪最杰出的数学家之一陶哲轩（Terence Tao）在2026年国际数学家大会（ICM 2026）的公众演讲中，以《人工智能时代的数学》为题，系统性地指出了AI对数学领域带来的深层冲击。他直言，数学正面临一场“百年危机”——不是来自外部挑战，而是来自内部“消化不良”。[2] 这场危机的核心是一个悖论：AI能以前所未有的速度产出正确证明...
- 2026-08-31 02:22 | 新浪：数学界如何应对AI带来的证明积压阅读原文
菲尔兹奖得主陶哲轩在2026年国际数学家大会（ICM）上发出罕见警告：数学正从“证明稀缺”迈入“证明过剩”时代，一场关乎学科价值观的百年危机已然降临。 一、证明过剩：AI引爆的“消化不良”危机 危机定性：陶哲轩将当前AI对数学的冲击，类比于20世纪初的数学基础危机——上次要检查的是逻辑地基，这次则是学科的价值观与实践方式。 数据佐证：独立评测First Proof中，4套AI系统以每道题10至1000美元的成本，在10道全新研究级难题中解出7道，且达到可发表水准。 核心困境：AI生成证明的速度已远超人类验证、表述、评审与消化的能力，陶哲轩称之为“证明消化不良”（proof indige...
- 2026-08-31 00:52 | 新浪：AI 48小时破解难题的具体过程是怎样的？阅读原文
菲尔兹奖得主陶哲轩在2026年国际数学家大会上警告数学正陷入"百年新危机"——AI能以每道10到1000美元的成本批量产出研究级证明，人类却已来不及验证和理解。这位曾经的"AI乐观派"用一组实测数据和亲身实践展示了AI破解难题的效率有多惊人，也让数学界不得不直面"证明过剩"带来的根本性挑战。 一、实测数据：AI以极低成本攻克研究级难题 评测背景：陶哲轩主导推动的FirstProof独立评测，专出从未公开的研究级数学新题，由30位专家按期刊标准盲审。 关键结果：2026年5月第二批10道题中，4套AI系统解出7道，且答卷达到可发表水平，单题算力成本仅10至1000美元。 意义判断：陶哲轩...
- 2026-08-31 00:19 | 新浪：数学家为何担心AI生成的证明没人能看懂阅读原文
菲尔兹奖得主陶哲轩在2026年国际数学家大会（ICM）上发出警示：随着AI能以极低成本批量产出数学证明，数学正从“证明稀缺”急速滑向“证明过剩”时代，而数学家们真正恐慌的，是海量AI生成的证明将变得无人能够理解与消化。 陶哲轩在演讲《人工智能时代的数学》中指出，过去数学研究的瓶颈是“证不出来”，而如今AI让证明的生产成本趋近于零，瓶颈转移到了人类这一侧的验证与理解。他用“证明消化不良”一词来形容这一窘境：AI生成证明的速度，已经快过了数学家审阅和理解的速度。 一、AI证明的“光滑陷阱”：为何越流畅越危险 痕迹即信息：陶哲轩展示自己年轻时读Bourgain论文的批注页——补全被省略的步骤、...
- 2026-08-30 22:17 | 新浪：AI证明能力突破后会改变数学研究方式吗阅读原文
菲尔兹奖得主陶哲轩在2026年国际数学家大会（ICM）上发出"数学百年新危机"的警告：当AI能以极低成本批量产出数学证明时，人类正从"证明稀缺"迈入"证明过剩"时代，数学研究的核心将从"产生证明"转向"消化证明"。 一、从"证明稀缺"到"证明过剩"的范式反转 AI能力跃迁：2026年5月FirstProof独立评测中，4套AI系统以每道10-1000美元成本，攻克了10道全新研究级难题中的7道，且达到期刊发表水准。 瓶颈转移：陶哲轩提出"工作假设"——不争论AI行不行，而是假设AI已具备研究级数学能力，由此追问数学界该如何应对。 核心判断：数学几千年来建立在"证明稀缺"之上的文化、荣誉...
- 2026-08-30 22:16 | 新浪：人类数学家如何应对AI批量产出的数学证明阅读原文
菲尔兹奖得主陶哲轩在2026年国际数学家大会上警告，数学正面临一场“百年危机”——AI能以极低成本批量产出数学证明，数学正从“证明稀缺”迈入“证明过剩”时代。 一、AI证明能力爆发，数学从稀缺走向过剩 核心事实：在2026年5月的FirstProof独立评测中，4套AI系统以每道题10到1000美元的成本，解出了10道研究级新题中的7道，且达到学术期刊发表水准。 时代转折：陶哲轩直言，AI生成证明的速度已远超人类验证、理解、消化的速度，数学的瓶颈从“产生证明”变成了“消化证明”。 关键概念：他提出“证明消化不良”一词，形容AI批量产出与人类消化能力之间的严重错配。 二、AI证明的“无...
- 2026-08-30 20:14 | 新浪：下一代数学家如何避免AI导致的直觉缺失阅读原文
陶哲轩在2026年国际数学家大会上发出警示：AI正把数学从“证明稀缺”推向“证明过剩”时代，而比算错更危险的是下一代数学家可能因过度依赖AI而丧失数学直觉。 一、AI让证明不再稀缺，数学陷入“消化不良” 历史性转折：几千年来数学界依靠“证明稀缺”运行，如今AI批量生成证明的速度已远超人类消化能力，陶哲轩直言数学正经历其他学科早已遭遇的“数据洪流”革命。 核心表现：陶哲轩在Erdős问题网站上观察到约20篇AI辅助解题方案积压待审，提交者坦言根本没时间手动验证，他本人也宣布不再试图实时跟进所有新证明。 “消化不良”定义：证明从生成到进入教科书需经历生成、验证、阐释、接受、整合五步，AI能...