陶哲轩数学成就到底有多高？菲尔兹奖得主ICM演讲揭示：AI已能解出70%研究级数学题，单题成本最低10美元
菲尔兹奖得主、华裔数学家陶哲轩（Terence Tao）在2026年国际数学家大会（ICM）上发表主旨演讲《Mathematics in the age of AI》，并引用一个名为First Proof的独立评测数据：10道全新研究级数学题中，AI系统以「可发表质量」解出7道，单题算力成本低至10美元、高至1000美元[1]。这一数据直接冲击了关于“AI能否从事数学研究”的争论，并促使陶哲轩提出一个“工作假设”——假设AI很快就能以合理成本完成相当比例的研究级数学任务，进而追问数学家的核心价值所在。
陶哲轩是谁？他的数学成就为何备受关注？
陶哲轩是当今数学界最具影响力的学者之一。他于1975年出生于澳大利亚，7岁开始自学微积分，12岁获得国际数学奥林匹克金牌，24岁成为加州大学洛杉矶分校（UCLA）正教授，2006年获得菲尔兹奖——数学领域的最高荣誉。他的研究覆盖调和分析、偏微分方程、组合数学、数论等多个分支，尤其在素数分布、格林-陶定理（证明存在任意长的等差数列由素数构成）等方面做出里程碑式贡献[1]。因其跨领域深度和解决疑难问题的能力，他被誉为“数学界的莫扎特”。
正是这样一位站在数学金字塔尖的学者，在ICM演讲中却主动将焦点转向AI与数学的关系。他提醒观众：市面上关于AI数学能力的证据大多缺乏受控科学条件，存在报道偏差且成本不透明，而First Proof评测是少数例外[1]。
First Proof评测是什么？为什么它比普通AI测试更可信？
First Proof是一个专门针对数学研究的独立评测项目，其题目均为全新、无标准答案的研究级问题，难度对标职业数学家日常面对的工作。2025年5月28日，第二批10道题在受控条件下测试四套AI系统，并由人类专家评审[1]。结果7道题被判定达到“可发表质量”——即论文可以直接投稿到专业期刊。这一数字意味着AI在数学推理能力上已跨越了从“解题”到“做研究”的关键门槛。
陶哲轩在演讲中强调，First Proof的独特价值在于：它剔除了数据泄露、人为筛选和商业利益干扰。评测题目是全新的，AI无法从训练数据中“背答案”；评审由人类专家盲审，标准与学术论文一致；算力成本公开披露，每道题10-1000美元不等，让外界能真实评估性价比[1]。
概念解释表：First Proof评测的关键要素
| 概念 | 通俗解释 | 例子 | 优势 | 限制 | 适用场景 |
|---|---|---|---|---|---|
| 受控条件 | 所有题目、环境、评分标准事先固定，杜绝作弊和选择性报道 | AI无法联网，仅使用给定算力 | 结果可复现，减少噪音 | 难以模拟真实研究中的协作与迭代 | 评估AI基础能力上限 |
| 可发表质量 | 解答达到专业数学期刊的发表标准 | 包含完整证明、引理、推理链 | 直接对标人类数学家水平 | 评审主观性；部分领域专家稀缺 | 衡量AI研究潜力 |
| 单题算力成本 | 完成一道题所需的计算资源费用 | 10美元（简单题）到1000美元（复杂题） | 透明化，便于成本收益分析 | 不包含训练成本 | 机构采购AI科研服务决策 |
陶哲轩提出的“工作假设”到底是什么？为什么说它绕开了无意义争论？
陶哲轩在演讲中明确表示，过去几年数学界关于“AI行不行”的争论已混入立场、情绪和商业利益，证据凌乱，谁也说服不了谁。因此，他提出一个“工作假设”：请全场观众暂时假设，AI很快就能以合理的成本和质量，完成相当比例的研究级数学任务[1]。他特意强调，这不是要求大家相信或接受它，而是一个条件分析——就像数学证明中先假设一个条件成立，再导出结论一样。
这种处理方式将“AI到底行不行”这个元数学问题，转化为“如果AI行，那么数学研究的目标是什么”这个可讨论的数学问题。陶哲轩认为，数学研究本应追求对真理的理解，而非单纯解题；如果AI包揽了技术性解题，人类数学家反而可以更专注于提出真正有价值的问题、构建理论框架和推动跨学科融合[1]。
数学家未来存在的意义是什么？陶哲轩的答案是什么？
在演讲的结论部分，陶哲轩指出：数学研究的目标并非“解题”本身，而是“理解”。如果AI能高效完成大量技术性证明，人类数学家将迎来“解放”——他们可以更多地思考“为什么”以及“接下来该研究什么”[1]。他引用了一个类比：就像计算机出现后，数学家在计算上的负担减轻，转而研究更抽象的结构；AI的到来将带来类似但更深远的变革。
陶哲轩还警告，数学界不能继续回避这一对话。以前数学目标可以甩给人文学科，数学家只管埋头做技术活；假设AI真的行了，这份奢侈就没有了[1]。他建议数学界主动建立与AI合作的新范式，包括开发“数学证明助手”以及培养“AI素养”成为数学教育的必修课。
QA常见问题解答
Q1: AI真能解出研究级数学题吗？
根据First Proof评测，在受控条件下，AI系统已能以“可发表质量”解出10道题中的7道，单题成本10-1000美元[1]。但需注意，这仅代表当前AI在特定测试集上的表现，不能泛化到所有数学分支。
Q2: 陶哲轩在ICM演讲的核心观点是什么？
核心观点是：数学界应停止争论“AI行不行”，转而接受“假设AI行”作为前提，重新思考数学研究的目标，以及人类数学家如何与AI协同工作[1]。
Q3: 陶哲轩的数学成就具体有哪些？
据公开资料，陶哲轩2006年获得菲尔兹奖，主要贡献包括格林-陶定理（素数任意长等差数列存在性）、调和分析中的局部化估计、组合数学中的随机矩阵理论等。他的研究横跨多个领域，被誉为“数学界的莫扎特”。
#陶哲轩 #数学成就 #AI数学能力 #ICM2026 #FirstProof #数学研究 #菲尔兹奖