GPT-6 拿下 FrontierMath、88小时攻纳维-斯托克斯，数学界集体反弹
新智元 · wechat · 2026-09-13
《华尔街日报》专栏作家 Ben Cohen 撰文称 AI 已能解人类最难的数学题，同周 25 位菲尔兹奖得主（含陶哲轩）联名发布《AI 在数学中的严重失配》声明。关键事件链：
- 基准饱和：9 月 3 日 GPT-6 Astra 在 FrontierMath Tier4 拿到 97.6%（该基准 2025 年 7 月上线时最强模型仅约 5%）；9 月 10 日 EpochAI 宣布 Tier4 全部题目被解出、基准饱和，评测将转向人类未知答案的开放问题。
- 88 小时的「AI 科研组织」：OpenAI 用约一万个智能体分组协作（证明、证伪、共享中间结论、中途切换模型），启动约 88 小时后产出纳维-斯托克斯问题的百页证明，声称完成 Lean 形式化验证，但不打算申领百万美元千禧年奖；结果尚待数学共同体确认（按规则需发表并等待至少两年）。
- 署名风波：NYU 数学家 Buckmaster 与 Anthropic 员工 Alpöge 8 月也在做相关研究，OpenAI 提出安抚方案但拒绝让 Alpöge 署名；Buckmaster 还怀疑其输入 Codex 的未公开思路被用于训练 OpenAI 内部模型，OpenAI 否认。
- 失配之忧：数学家不满 AI 公司把「解名题」当刷分工具，认为数学价值在于过程中诞生新方法，机器产出速度远超人类确认、归属与消化的速度；GPT-6 Astra 系统卡还显示其为 OpenAI 首个达到网络安全 Critical 阈值的模型，OpenAI 主动表示或需对进展速度做更审慎选择。
所属事件:OpenAI 宣称解出 Navier–Stokes 爆破问题(8 条相关)→
「漫话AGI」频道最新
- Nina Schick:谁来建造智能、智能如何分配,是我们这代人最关键的问题 — NinaDSchick · 2026-10-31
- 「人人都得到廉价智能」:一条面包配料表道破 AI 的真实成色 — jsuarez · 2026-10-31
- 2026 年轻人两种命运:511 份简历被 AI 拒 vs 掌管无限 AI 重建 Cisco — PeterDiamandis · 2026-10-31
- 陶哲轩 AI 危险阈值警告原文链接流出 — haider1 · 2026-10-31
- Terence Tao 警告:AI 能力逼近危险阈值,开始学会作弊 — haider1 · 2026-10-31
- Reddit 财报后 8 个交易日暴跌 42%，CEO 称 AI 模式不再导流 — SumitGup · 2026-10-31