奥尔特曼回应 AI 冲击数学家：OpenAI 不会停下研究脚步的立场宣言
当 AI 在国际数学奥林匹克竞赛（IMO）级别的题目上拿下“金牌表现”的消息传出后，数学界的焦虑第一次如此具象：这座长期被视为人类智力圣殿的领域，正在被大模型快速逼近。面对“AI 正在冲击数学家”的舆论声浪，OpenAI CEO 萨姆·奥尔特曼的回应没有回避，也没有妥协——OpenAI 不会停下研究的脚步。这份立场宣言背后，是前沿 AI 公司与科学共同体之间日益加深的张力，也预示着数学研究范式的一次深刻转向。
一、风波缘起：AI 在数学上的“临界时刻”
这场争论的导火索，是一组令整个行业震动的结果：
- OpenAI 的实验性推理模型在 IMO 2025 试题上达到金牌水平：在限定时间内、不借助任何外部工具、以自然语言写出完整证明，解出六题中的五题，得到 35/42 的分数，恰好跨过金牌线；
- 紧随其后，谷歌 DeepMind的 Gemini 系列模型也宣布达到金牌级表现，并获得了赛事协调员的正式评分确认；
- 关键之处在于，这不是检索答案，而是模型自主完成长链条推理与证明构造——就在两年前，学界还普遍认为这类能力距离 AI 十分遥远。
从“连两位数乘法都频繁出错”到“奥赛金牌水平”，基准曲线的陡峭攀升，让许多职业数学家产生了真实的危机感。
二、奥尔特曼的回应：一份没有道歉的宣言
面对质疑，奥尔特曼的表态可以概括为三层立场：
1. 数学是试金石，不是终点
在 OpenAI 的技术路线图中，数学能力是衡量通用推理水平的最干净信号——对错分明、可严格验证。推进推理模型，就必然意味着让它们攻克数学难题。回应“冲击数学家”的担忧，在逻辑上等同于要求停止提升模型的推理能力，这在 OpenAI 看来并非可选项。
2. 停下的代价由所有人承担
奥尔特曼反复强调的竞争逻辑依然成立：在谷歌、Anthropic、DeepSeek 等多方竞逐的格局下，单方面减速并不能换来全行业的克制，只会让领先者失去位置。OpenAI 给出的答案不是停止能力研究，而是让安全与对齐研究同步推进。
3. 目标是放大，而非取代
延续其“智能时代”的一贯叙事，奥尔特曼坚称 AI 的意义在于加速科学发现、放大个体研究者的能力，而非将人类排挤出智力劳动的核心圈层。
批评者则指出，“放大而非取代”的说法在基准测试明确对标人类竞赛时显得苍白——你不可能既以“击败人类竞赛选手”为里程碑，又宣称这不是对人类的替代。
三、数学界的三种声音
这场风波揭示了数学共同体内部的深刻分歧：
- 警惕派：担忧意义感崩塌与职业管道受损。博士培养动辄五到七年，如果 AI 在五年内承担大部分技巧性证明工作，青年学者的成长路径将如何重构？“以证明为荣”的职业尊严又置于何处？
- 务实派：以陶哲轩为代表，主张把 AI 当作“能干的初级合作者”，让它承担文献梳理、符号运算与繁琐变换，人类专注提出问题、判断方向。
- 拥抱派：凯文·巴扎德等推动形式化验证（如 Lean）的学者相信，"AI 生成证明+形式化系统验证"的组合，反而可能带来数学可信度的历史性飞跃。
四、拆解“冲击”：AI 改变的三个层次
1. 工具层：从计算器到初级合作者
三角恒等式变形、分部积分、引理核查——这些消耗研究者大量时间的“粗活”正在被快速自动化。变化刚发生，但方向已清晰。
2. 方法层：机器辅助证明的兴起
大规模猜想搜索、反例构造、实验数学的复兴，正在改变“数学直觉从何而来”的传统路径。AI 不再只是执行者，开始承担提出候选命题的角色。
3. 生态层：评价体系的动摇
最深层的问题在于：当证明可以被批量生成时，“证明出来”这件事的价值如何衡量？ 数学的稀缺性正在从“技术执行”向“问题选择与概念创造”迁移，这对整个学术评价体系提出了根本性挑战。
五、“不停下”背后的三重逻辑
OpenAI 拒绝减速，并非简单傲慢，而是三重逻辑的叠加：
- 商业逻辑：奥赛成绩是推理能力最直观的广告，Benchmark 即营销；
- 技术逻辑：数学提供唯一可机器验证的对错标准，是训练与评估推理模型不可替代的试验场；
- 理念逻辑：奥尔特曼的宏大叙事核心是“AI 加速科学”，而数学正是这一承诺最有力的展示窗口——放弃数学，等于放弃自我论证。
六、数学家真正的护城河在哪里
冷静来看，至少有三样东西在可见的未来难以被替代：
- 提出好问题的品味：判断什么问题重要、什么方向有前途，依赖对领域数十年的浸润；
- 概念层面的创造：发明新的数学结构、建立跨越领域的联系，远超符号操作层面；
- 数学作为人类事业的意义：证明是数学家之间的对话，这份共同体归属感无法外包给机器。
结语：问题已不是“是否停下”
奥尔特曼的这份立场宣言，实质上是告诉数学界：等待不是选项，重新定义分工才是出路。AI 进入数学已成定局，真正待定的不是“是否发生”，而是“以何种条款发生”。对数学家而言，最有力的回应不是呼吁对手停下，而是尽快坐上定义规则的位置——毕竟，新范式的命名权，从来属于最早行动的人。