OpenAI新模型24天攻克100+数学难题

数学界正被AI迅速逼近。OpenAI一篇重磅博文披露，一款8月28日才开始训练的内部新模型，已攻克100多道世界级数学难题，横跨数学大部分领域，其中包括困扰学界多年的“纳维–斯托克斯”千禧年难题。从开训到9月21日官宣仅24天，进化速度令OpenAI内部数学家都感到意外。

9月8日，OpenAI称该内部模型在88小时内攻克NS千禧年难题，给出NS方程存在性与光滑性问题的证明，并公开166页论文和Lean形式化验证代码。该结果表明：在光滑外力作用下，初始静止、光滑的三维不可压缩流体，可在有限时间内形成奇点，对应千禧年大奖难题官方表述中的C、D版本。证明背后是一次大规模、1万多个并发Agent协同研究，它们可读取互联网缓存、运行代码、组内交换信息，不同小组探索不同版本与路线。研究人员持续参与，在系统先取得欧拉方程相关成果后，把资源向纳维–斯托克斯问题集中，再通过Codex汇总各组有价值的中间见解。9月5日，距首批智能体启动约88小时，系统得出解法；随后GPT‑6 Astra又花17小时完成Lean形式化与验证。

OpenAI表示，成果范围已进一步扩大，除纳维–斯托克斯外，还有百余道长期开放难题。这种进展已引发内部讨论：怎样让数学共同体及时了解变化，为准备和适应留出空间。“怎样审查、怎样发布”也成为现实问题。

就在OpenAI宣布NS方程突破三天后，27位菲尔兹奖得主联名发表公开信《AI在数学领域的严重错位》，签名者横跨48年菲尔兹奖历史，包括邓煜、陶哲轩、许埈珥、吴宝珠、彼得·舒尔茨、马丁·海雷尔等。公开信承认AI有加速真正数学研究的巨大潜力，但批评各大AI巨头把人类几百年沉淀的公开数学难题当成跑分刷榜的benchmark；解题指标可能与数学研究追求的理解发生偏离，且仓促公布后没有时间梳理思路和充分撰写新方法。OpenAI未回避，在最新公告中直接引用该文，表示AI巨头和数学家之间必须坐下来好好聊聊。

因此，OpenAI请来9位全球顶尖数学家，成立独立数学顾问组。成员来自剑桥、牛津、哈佛、斯坦福、伯克利、普林斯顿高等研究院等机构，包括菲尔兹奖得主Timothy Gowers、Martin Hairer，以及Edward Witten等。任务主要有三件：判断新数学成果的重要性；讨论结果该如何发布、何时发布；确保AI时代数学研究仍遵守学术和职业规范。这9人不拿OpenAI一分钱，可公开批评OpenAI，可提出公司未要求的建议，可自行决定成员变更。但关键限制是，顾问组不负责建议OpenAI如何控制内部数学研究的进度——有公开发言权，没有“刹车权”。

一切已极其明朗。开训不到一个月，刷爆100多道历史难题。技术瓶颈早已不在“AI解不解得出”，而变成“人类审不审得完”。全世界能审纳维–斯托克斯级别证明的人，两只手数得过来。这支“九人顾问天团”的真实功能，更像是OpenAI给机器产物找的顶级流水线兼排雷组：哪道题值得先看、哪道要拆开重写、找谁核对、署谁的名字，全丢给9位不拿工资的大神，而疯狂刷题的引擎油门仍攥在公司手里。

数学界已意识到这场海啸。多伦多大学数论学家Daniel Litt透露，与各系系主任聊完的共识是：激励机制、招聘规范和博士评价方式必须彻底重构，大家已准备好保卫数学文化，不再鼓励“单纯生产PDF”。菲尔兹奖得主Figalli预言，数学家的角色正从“解题的人”被迫变成“判断哪些题值得解的人”。OpenAI已毫不掩饰地确立新世界潜规则：发现归机器，验收和解释归人类。物理、化学、生物迟早也会走到这一步，每一门学科都会有这么一天。数学，只是先到了而已。