知识卡片：陶哲轩、邓煜对谈AI数学证明，倡导保留“慢科研”价值

一句话结论

针对商业AI一次性发布700多个数学证明引发的争议，菲尔兹奖得主陶哲轩、邓煜在SAIR访谈中指出，AI给出证明不等于人类理解了问题，呼吁改变只看解题的激励机制，并参与Open Math Model开放数学模型计划。

事件概述或研究问题

• 背景争议：商业AI一次性发布700多个数学证明，引发数学界对AI生成证明质量与意义的讨论。
• 核心议题：AI在数学证明中的角色边界——AI产出证明是否等同于人类理解问题，以及现有科研激励机制是否适配AI时代。

方法/产品要点

• 邓煜观点：当人类已有证明路线时，可让AI完成繁琐推导环节。
• 陶哲轩观点：呼吁改变只看解题的激励机制；AI应让思想来源可追溯。
• 参与计划：两人参与Open Math Model开放数学模型计划；已先推出Open Math OS，整合开放模型、研究工具与协作功能；自有模型仍在筹备中（具体发布时间待核实）。

主要结果或产业意义

• 访谈层面：两位菲尔兹奖得主公开表达对AI数学证明的审慎立场，强调“慢科研”价值不应被AI速度取代。
• 生态层面：Open Math OS作为开放数学模型计划的首个落地产品，试图以开放协作方式回应商业AI闭源发布证明带来的争议；自有模型进展待核实。

为什么重要

• 延续既有脉络：本条是陶哲轩、邓煜等25位菲尔兹奖得主紧急声明（2026-09-12）以及陶哲轩转载抵制OpenAI声明（2026-10-10）之后，两人在同一争议上的进一步公开表态，增量信息在于提出了具体替代方案——参与Open Math Model计划并推出Open Math OS，而非仅停留在批评层面。
• 产业信号：顶级数学家正从“警告”转向“建设”，以开放模型与协作工具回应商业AI的封闭发布模式，可能影响AI数学工具的生态走向。

局限与不确定性

• 访谈中两位数学家对AI证明的具体技术评价细节，材料未完整呈现，待核实。
• Open Math Model自有模型的参数规模、发布时间、开放程度等均未披露，待核实。
• “700多个数学证明”的具体来源机构、证明质量评估结果，材料未说明，待核实。
• Open Math OS的功能细节与实际可用性，材料仅提及整合开放模型、研究工具与协作功能，待核实。

可用于图书/PPT/简报的角度

• “从警告到建设”：数学家群体对AI数学的态度演变——从联名声明到参与开放模型计划。
• “慢科研” vs “快证明”：AI时代数学研究评价体系的重构需求。
• 开放 vs 闭源：Open Math Model与商业AI发布证明的路线对比。
• 思想来源可追溯：AI辅助数学证明中的知识传承与归因问题。

与既有脉络的关系

本条是2026年9-10月数学界AI争议的延续与升级：此前卡片记录了25位菲尔兹奖得主的紧急声明（警告benchmark导向与概念理解目标的错位）以及陶哲轩转载抵制OpenAI声明（争议公开化），本条则补充了两人从批评转向具体行动——参与Open Math Model并推出Open Math OS，体现了“建设性回应”这一增量。

原始材料

• 来源：腾讯研究院AI速递 20261022（搜狐转载）
• URL：https://m.sohu.com/a/1090863002_455313?scm=10001.325_13-325_13.0.0-0-0-0-0.5_1334&digest_item=6
• 关键词：陶哲轩；邓煜；AI数学证明；Open Math Model；Open Math OS；慢科研；SAIR访谈