9 名数学家组建独立顾问小组对接 OpenAI，内部模型已解出 100 多个开放问题
OpenAI 宣布与数学家自建的独立数学顾问小组合作，同时披露一个自 8 月 28 日训练的內部模型已解出 100 多个长期开放问题；本期梳理小组的职责与边界、九名成员，以及这些数字的出处与待核验之处。
北京时间 9 月 22 日凌晨，@OpenAI 发帖宣布，公司正在与一个独立的数学顾问小组合作。这个小组由数学家自己建立，由普林斯顿高等研究院（Institute for Advanced Study，IAS）承办，首批九名成员。1 同一篇公告还给出另一个数字：OpenAI 一个从 8 月 28 日开始训练的内部模型，已经解出 100 多个长期没有答案的数学开放问题。2
本期追踪窗口为北京时间 2026 年 9 月 21 日 21:00 至 9 月 22 日 21:00。窗口内 @OpenAI 只发布了一条原创推文，就是上面这条，账号在此期间没有转发其他内容；它的上一条原创推文要追溯到 9 月 18 日凌晨的 Astra for Law。下表互动数据取自 9 月 22 日 21:06 的接口快照。
| 北京时间 | 动作 | 核心信息 | 互动快照 |
|---|---|---|---|
| 9 月 22 日 01:50 | @OpenAI 发布单条推文 | 宣布与数学家自建的独立顾问小组合作，小组由普林斯顿高等研究院承办 1 | 约 520 万次浏览；9,779 个赞；1,054 次转发；888 次引用；871 条回复 1 |
Loading content card…
这个小组做什么，边界在哪里
公告给小组列了四项职责：帮助 OpenAI 判断新数学结果的分量，商量这些结果怎么对外公开，把关数学研究的学术与职业规范，以及研究工具如何支持数学的研究与学习。2
独立性写成了具体条款：小组独立于 OpenAI 运作，可以提出 OpenAI 没有请求的建议，可以评论 OpenAI 对数学的影响，也可以把自己的建议公开；成员不从 OpenAI 领取报酬，成员名单由小组自行决定如何变动。公告对这套安排的解释是，小组的价值取决于成员能否按自己的判断行事并质疑 OpenAI 的判断。2
公告也划出了一条边界：这个小组不负责建议 OpenAI 以什么节奏推进自己的数学研究。2
首批九名成员
公告给出的首批成员共九人，由小组自己确定，名单如下。2
| 成员 | 所属机构 |
|---|---|
| François Charles | 巴黎高等师范学院（ENS-PSL） |
| Camillo De Lellis | 普林斯顿高等研究院（IAS）、GSSI |
| Timothy Gowers | 法兰西公学院（Collège de France）、剑桥大学 |
| Martin Hairer | 洛桑联邦理工学院（EPFL）、帝国理工学院 |
| Nikhil Srivastava | 加州大学伯克利分校、西蒙斯研究所（Simons Institute） |
| Ulrike Tillmann | 牛津大学、INI |
| Ravi Vakil | 斯坦福大学 |
| Edward Witten | 普林斯顿高等研究院（IAS） |
| Melanie Matchett Wood | 哈佛大学 |
公告同时写明，小组由数学家自行成立，OpenAI 是以合作方身份加入其中的一方。2
一封公开信把这件事推到台前
公告提到，数学界近期出现一封公开信《A Severe Misalignment of AI in Mathematics》，签名者对「把解出开放问题当作新模型的基准」所带来的负外部性提出担忧。2
OpenAI 在公告里把这封批评读成一种提醒：AI 公司与数学界之间需要更认真的接触。公司的做法是找到已经自建顾问小组的这批数学家，让小组在数学界、公众与 OpenAI 之间充当桥梁，并把「让数学家在答案的形成过程中处于中心」写成目标。2
公告只概述了这封信的态度并附上链接，没有逐条回应信里的批评，也没有说明签名者是谁、提出了哪些具体要求。2
8 月 28 日开始的内部模型
公告里最硬的那个数字，来自一个还在训练中的内部模型：OpenAI 称它除了解出纳维-斯托克斯千禧年难题，还解出了 100 多个分布在大多数数学分支上的长期开放问题，并说这个推进速度让公司内部的数学家感到意外。2
时间线写在另一份官方页面上。这个内部模型于 8 月 28 日开始训练，训练至今仍在进行，性能还在提升；9 月 1 日，OpenAI 听到两道千禧年难题被解出的传闻，随即把智能体系统投放到全部千禧年难题和少量高影响力问题上；9 月 5 日，智能体得出的结论是，初始光滑的流体可以在有限时间内形成奇点，也就是纳维-斯托克斯方程所描述的三维流体运动可以失稳；随后由 GPT-6 Astra 用 17 小时完成 Lean 形式化验证；9 月 8 日对外公开。3
这 100 多个问题的说法，公告挂在纳维-斯托克斯页面的一个锚点上；那份页面只展开讲了纳维-斯托克斯和欧拉方程这两个结果，给出了论文、Lean 形式化证明的公开仓库和两次求解的规模（纳维-斯托克斯一题动用约 1 万个并发智能体、消耗约 1300 亿输出 token），其余 100 多道题分别是什么、经过什么形式的复核，都没有列出。3
接下来核验什么
- 100 多个问题的清单。 公告给的是总数和「大多数数学分支」这一概括，题目、领域分布和难度都没有公开；纳维-斯托克斯这一题留下了论文与 Lean 形式化证明，其余问题是否也有可核查的材料，目前没有说明。2
- 外部复核。 100 多个问题的结论由 OpenAI 自己给出，9 月 8 日公开的纳维-斯托克斯证明也由公司自己运行并发布；这次新设的顾问小组被赋予「评估新结果分量」的职责，但它对结果本身能做什么、评估结论是否公开，公告没有写。2
- 小组的实际权限。 建议可以公开、成员不领报酬这两条已经写明，但小组能不能看到尚未发布的模型结果、能不能要求延后某项发布，公告都没有说明，而这两条决定了小组能在多大程度上改变 OpenAI 的决定。2
- 数学能力什么时候进产品。 公告没有给出下一代模型的发布时间、开放范围或定价，也没有说明这些数学能力会以什么形式进入 ChatGPT 或 API。2
References
- 1
- 2
- 3
This story was produced automatically by a channel. One sentence is all it takes for Neodrop to keep producing for you.