OpenAI披露称，一款于 8 月 28 日开始训练的内部新模型，已攻克 100 多道世界级数学难题，覆盖数学的大部分领域。公司同时宣布，正式成立一个独立的数学顾问组，成员包括菲尔兹奖得主 Timothy Gowers、Martin Hairer，以及理论物理学家 Edward Witten。
按文中给出的时间线计算，从 8 月 28 日开始训练到 9 月 21 日官宣，间隔为 24 天。OpenAI称，在这 100 多道题目中，还包括此前长期困扰数学界的纳维－斯托克斯相关千禧年难题。
纳维－斯托克斯问题的披露时间线
要理解这次进展，文章将时间线回拨到 9 月 8 日。OpenAI称，其一款全新内部模型在 88 小时内攻克了纳维－斯托克斯千禧年难题，给出了 NS 方程存在性与光滑性问题的证明，并同步公开了一篇 166 页论文和 Lean 形式化验证代码。
根据公司介绍，这一结果表明，在光滑外力作用下，初始静止、光滑的三维不可压缩流体，可以在有限时间内形成奇点，对应千禧年大奖难题官方表述中的 C、D 版本。
OpenAI称，这次证明依赖的是一次大规模并行研究过程，参与协同研究的并发 Agent 超过 1 万个。这些 Agent 可以读取互联网缓存、运行代码、在组内交换信息，不同小组则分别探索不同的问题版本与解题路径。
研究人员也持续参与其中。文章称，在系统先取得欧拉方程相关成果后，研究人员将资源向纳维－斯托克斯问题集中，并用已有解法引导后续探索；之后再通过 Codex 汇总各组有价值的中间见解，让不同路线之间发生交流。
按披露信息，9 月 5 日，距离首批智能体启动约 88 小时后，系统得出解法。随后，GPT-6 Astra 又用了 17 小时完成 Lean 形式化与验证。模型、工具、并行探索和人的研究组织，共同构成了这次攻坚过程。
OpenAI最新披露的范围已经不止于纳维－斯托克斯。公司表示，除这一问题外，还有 100 多道长期开放难题已被攻克，分布在数学的大部分领域。
OpenAI还表示，这类进展已经在公司内部引发讨论：怎样让数学共同体及时了解变化，并为准备和适应留出空间。这也让「怎样审查、怎样发布」成为能力提升后马上出现的现实问题。
27 位菲尔兹奖得主联名发声
在 OpenAI宣布纳维－斯托克斯方程突破 3 天后，27 位菲尔兹奖得主发表公开信《AI 在数学领域的严重错位》。
文中提到，签名者跨越 48 年的菲尔兹奖历史，包括邓煜、陶哲轩、许埈珥、吴宝珠、Peter Scholze、Martin Hairer 等人。公开信并未否认 AI 对数学研究的潜力，而是将批评重点放在成果公布方式上。
这些数学家认为，大型 AI 公司把人类积累数百年的公开数学难题当作 benchmark，单纯以「解题」作为指标，可能偏离数学研究真正追求的理解。公开信还批评，在仓促公布后，并没有足够时间对思路进行梳理，也没有完成对新方法的充分撰写。
按照原文说法，OpenAI在最新公告中直接引用了这篇公开信，并公开表示，AI 公司与数学家之间需要展开讨论。
9 人独立顾问组的组成与职责
OpenAI此次宣布成立的独立顾问组，首批共有 9 人，成员来自剑桥、牛津、哈佛、斯坦福、伯克利、普林斯顿高等研究院等机构。
文中点名的成员包括 Timothy Gowers、Martin Hairer、Camillo De Lellis 和 Edward Witten。其中，Camillo De Lellis 是普林斯顿高等研究院教授，研究方向为偏微分方程与流体力学数学理论；Edward Witten则被描述为首位获得菲尔兹奖的物理学家。
OpenAI给顾问组设定的主要任务有 3 项：
- 判断新的数学成果到底有多重要；
- 讨论这些结果该如何发布、何时发布；
- 确保 AI 时代的数学研究仍遵守学术与职业规范。
文章还提到，这 9 位顾问不从 OpenAI领取报酬，可以公开批评 OpenAI，也可以提出公司未要求的建议，并可自行决定成员变更。
不过，顾问组并不负责建议 OpenAI如何控制内部数学研究的进度。换句话说，顾问组拥有公开发言权，但不负责决定研究推进节奏。
审稿能力成为新的现实问题
文章认为，在训练不到一个月、已攻克 100 多道历史难题的背景下，瓶颈正在从「AI能不能解出来」转向「人类能不能审得完」。
文中提到 Buckmaster 的表述称，那份由大模型生成的初步证明，是他读过「最可怕的东西」；而他们后来为了抢首发赶出的论文，也被他自己称作「AI Slop（人工智能泔水）」，并为此公开道歉。
原文还写到，能审阅纳维－斯托克斯级别证明的人数极少。在这种情况下，独立顾问组的实际作用，与成果筛选、重写拆分、核对与署名安排等流程密切相关。
数学界对制度调整的讨论
文中援引多伦多大学数论学家 Daniel Litt 在 X 上的说法称，在与各系系主任交流后，形成的共识是，激励机制、招聘规范和博士评价方式需要彻底重构；大家已经准备好保卫数学文化，不再鼓励「单纯生产 PDF」。
菲尔兹奖得主 Figalli 也被引述称，数学家的角色正从「解题的人」转向「判断哪些题值得解的人」。
按照原文的概括，OpenAI这次的安排所呈现出的分工是：发现交给机器，验收和解释仍由人类完成。文中同时提到，物理、化学、生物等学科未来也可能面对类似变化，而数学只是更早进入这一阶段。
参考链接与文章来源
文中列出的参考资料包括 OpenAI 关于数学与 AI 顾问组的公告页面、AGMAI 网站、mathandai.org 多语言页面，以及 OpenAI 的纳维－斯托克斯解决方案页面。
该文来自微信公众号「新智元」（ID：AI_era），作者为 ASI启示录，编辑为马可、桃子、摩西；MarsBit 对内容进行了转载发布。