陶哲轩在2026年ICM提出“证明消化不良”：AI时代数学面临审核瓶颈
在2026年国际数学家大会（ICM）上，菲尔兹奖得主陶哲轩发表演讲《AI时代的数学》，提出“证明消化不良”概念：AI生成证明的速度已远超人类审核验证的速度，数学正从“证明稀缺”进入“证明过剩”时代。
陶哲轩指出，AI能以“日更”速度批量产出证明，但人类数学家无法及时核实，大量提交的AI证明可能正确却无人验证。他以黎曼零点比例问题为例，人类数学家三十多年仅推进1.6%，AI在一天半内推进25.6%。AI解难题的真实成功率仅1%—2%，且错误可以藏得很深，判断一个证明是否成立有时需花费数天。
为此，陶哲轩提出新的发表准则：如果作者无法以专家水平清晰解释其结果，即使证明已通过Lean等工具的正式验证，也不应发表。“消化”比证明更重要。他亲自示范，将AI产出的森多夫猜想证明从9万行Lean形式化代码整理为1.5万行，并发现一个更强命题，连带解决了1972年的菲尔普斯-罗德里格斯猜想。他认为，人类在阅读艰深论文时的停顿、补全与重新推导，正是建立真正数学理解的必经之路。
陶哲轩的演讲引发对AI与数学关系的重新思考：AI可当“向导”，人类负责“寻宝”，把AI产出的核心中间步骤提炼出来重新理解。
- 2026-09-01 06:28 | 新浪：陶哲轩预警AI数学临界点：数小时生成正确证明，人类审核却需数周，数学研究范式如何被颠覆？阅读原文
菲尔兹奖得主、数学家陶哲轩（Terence Tao）近日公开表示，AI生成形式化数学证明的速度已跨越关键临界点——在数小时内即可完成过去需要数周才能完成的任务，而人类审核速度严重滞后，形成“阻抗不匹配”。这一变化意味着数学研究正从“证明稀缺”进入“证明过剩”时代，AI生成的正确证明数量已超过人类消化能力，且文本光滑、缺乏认知痕迹，可能损害下一代数学家的理解能力。同时，OpenAI推理模型近期在攻破80年数学猜想时出现“每句都对、整体全错”的翻车事件，进一步印证陶哲轩的预警：形式正确不等于语义忠实。 陶哲轩所说的“阻抗不匹配”是什么？如何改变数学研究节奏？ 陶哲轩在2026年国际数学家大会的...
- 2026-09-01 06:22 | 新浪：陶哲轩警告：AI时代数学面临理解力百年危机阅读原文
菲尔兹奖得主陶哲轩在2026年国际数学家大会（ICM）上发出罕见警告：数学正面临一场关于“理解力”的百年新危机——当AI能批量生成“光滑”却缺乏思考痕迹的数学证明时，人类数学家消化、验证甚至理解证明的能力正在被系统性削弱。 一、核心危机：被“光滑文本”掩盖的数学理解退化 陶哲轩在2026年ICM公众演讲《人工智能时代的数学》中指出，AI生成的数学论文虽在语法、拼写和格式上无可挑剔，却存在一个致命缺陷——缺乏“认知痕迹”。他展示了自己年轻时读Bourgain论文的批注页，强调理解的形成恰恰发生在“卡壳”、“重写”和“停顿”之中，而AI论文的过度光滑正在抹去这些关键阻力。 认知地图缺失：陶哲...
- 2026-08-31 23:29 | 新浪：陶哲轩警告AI证明“消化不良”：10道研究级新题解出7道，为何数学界反而更焦虑？阅读原文
陶哲轩公开警告：AI数学证明正在制造“消化不良” 菲尔兹奖得主、加州大学洛杉矶分校教授陶哲轩（Terence Tao）在2026年国际数学家大会上发出严厉警告：数学界正面临前所未有的“证明消化不良”危机。据陶哲轩介绍，一组10道从未公开的研究级新题被AI系统以每道仅十美元的成本解出7道，且全部达到期刊发表水平[1]。但陶哲轩强调，答案正确远远不够——一个问题被真正解决需要过五关：证明、验证、阐释、同行认可、写进教材。AI目前只加速了第一关，后续四关的瓶颈正在被无限放大。 这一警告的背景是2026年夏天AI连破四大数学难题：雅可比猜想（悬而未决87年）、六维球面问题（78年未解）、以及黎曼猜...
- 2026-08-31 15:57 | 新浪：陶哲轩为什么认为AI会导致数学危机？阅读原文
菲尔兹奖得主陶哲轩在2026年国际数学家大会上发出警告：数学正迎来一场“百年危机”，这次冲击的不是逻辑地基，而是整个学科的价值观与实践方式——因为AI正以前所未有的速度批量生产数学证明。 一、证明稀缺时代终结：AI让“证明过剩”成为现实 陶哲轩提出“工作假设”：假设AI很快能以可接受的成本与质量完成相当比例的研究级数学任务。这一假设已被独立评测FirstProof初步验证——在2026年5月的测试中，4套AI系统以每道题10到1000美元的成本，解决了10道全新研究级难题中的7道，且达到可发表质量。 范式转移：数学正从“证明稀缺”进入“证明过剩”时代。过去第一个解出问题的人拿走全部荣耀；...
- 2026-08-31 14:16 | 新浪：AI批量生成证明为何会导致数学‘消化不良’？阅读原文
菲尔兹奖得主陶哲轩在2026年国际数学家大会（ICM）上敲响警钟：当AI能以“日更”速度批量产出数学证明，人类数学家的审核能力却远远跟不上，数学正从“证明稀缺”进入“证明过剩”的“消化不良”时代。 一、何谓“证明消化不良” 核心定义：陶哲轩在2026年ICM演讲《AI时代的数学》中提出，“证明消化不良”指AI生成证明的速度已远超人类审核验证的速度，数学界正冲进一个证明过剩的时代。 现实图景：2026年夏天，AI连番推翻困扰数学界数十年的猜想——雅可比猜想（87年）、六维球面（78年）等相继被攻破。有人跟AI聊了一小时就提交了一个证明，而菲尔兹奖得主陶哲轩本人花了几天才将其改写成人类能读的...