九位数学家，评而不决

9 月 21 日，OpenAI 挂出了一个数学顾问组，托管在普林斯顿高等研究院，九名成员不领报酬，官网写着自己没有任何 AI 公司的决策权。12 值得判断的不是这个组该不该成立，而是它拿到的是哪一种权。公告与顾问组自己的章程在这一点上罕见地一致，而且都写得很直白：组可以评议结果的意义、协调一批结果的发布方式与顺序、就学术与职业标准提建议，也可以公开自己没有被请求的建议；但它不负责就内部数学进展的节奏提供建议，也不承担任何公司决定的后果——「公司所做决定的后果，由该公司承担」是顾问组自己写下的句子。3

为什么是现在。 8 月 28 日，OpenAI 开始训练一个新的内部模型；按公告自己的说法，这个模型至今已在数学的大多数分支解决了超过 100 道长期未决问题。9 月 11 日，27 位菲尔兹奖得主联署了一份声明，指出把「解决难题」当作基准正在伤害数学本身：结果被仓促抛出，没有时间写清楚，没有时间把新方法分离出来，也没有时间引用前人的工作。4 OpenAI 的公告主动引用了这份声明，承认它指出了 AI 公司与数学界需要认真接触，顾问组就是对这个批评做出的制度回应。这一步值得记下来：被回应的是「流程」，而不是「结果对不对」。

三件事被拆开了。 外部对 AI 数学能力的要求其实是三件：判断结果是否为真、决定它怎么进入文献、以及控制产出这些结果的速度。顾问组拿到的是第二件，也是最温和的一件——协调发布方式与顺序。第一件被它自己的一句话划了出去：官网写的是「他们报告，这些结果由他们的内部模型产出」，主语始终是 OpenAI，不是顾问组。第三件被公告一句话划了出去：这个组不负责内部进度的节奏。它真正的杠杆只有一个，而且不是否决权：它可以把自己未被请求的建议公开，也可以公开评论 OpenAI 对数学的影响。换句话说，这个组的约束力来自名誉成本，不来自流程。3

这条边界决定了外面能核到什么。 把「逾百道题」这句话拆开：公告没有给出题目清单，也没有分领域列表；公告里链接过去的那一节，在目标页上抓取时并不存在；166 页的分析文稿只挂在 OpenAI 官网上，作者一栏写的是「OPENAI」，全文没有同行评议、预印本或投稿状态的任何声明，arXiv 上也没有这一篇；Lean 形式化脚本确实公开、可以复算，但仓库自己的元数据把它标成 self-assessed，仓库没有 CI，也没有开放的 issue 供人指出形式化与文稿的差异；Clay 数学研究所的说法只是「看来已被解决」，而它自己的三条门槛——在有资格的刊物发表、发表后满两年、获得全球数学界普遍接受——一条都还没有开始计。567 一位公开讲解过这项工作的 PDE 专家明确说自己没有逐行核验；目前能找到的唯一一次「复算通过」，是一条匿名帖对 Lean 脚本做的内核复算，而那条帖自己也写明了边界：内核通过只证明 Lean 命题成立，不证明那 166 页是对的。8 所以「OpenAI 有了一个独立数学顾问组」和「这批结果有了外部核验」是两件事。前者已经发生，后者没有。

外部怎么读这条边界。 媒体与数学界的读法比官方文本更直接。TechCrunch 是英文科技媒体里最早成文的一篇，把这件事总结成「有发言权、没有刹车权」，并说九名成员里只有一人也签署了那份公开信；但公开信页面今天列出的 27 位菲尔兹奖得主里就有 Martin Hairer，他是顾问组成员——同一件事实，两个版本。9 数学界内部两个方向都有声音：UCLA 的 Burt Totaro 在陶哲轩博客下的第一条评论说，OpenAI 近期名声受损，因此正在「利用这些数学家所拥有的信任与尊重」；PDE 方向的 Michele Caselli 反过来主张，不坐上桌就会被写进菜单。也有人把矛头对准结构——一位匿名评论者写道，真正新出现的问题是「谁来决定数学界什么时候、按什么顺序看到这些结果」，并称这种结构「极其寡头」。10 同一天在技术社区的讨论里，最常被引用的一条可核查事实也正是成员的来路：签过公开信的人进了顾问组，而顾问组的存在并不改变那封信提出的问题。1112 还有一件当天就能查证的事：在可读到的报道里，没有一家写出手访 OpenAI、普林斯顿高等研究院或顾问组成员的引语；九名成员也没有一人就独立性或权限公开发言。

谁会受影响，以及意味着什么。 直接受影响的是三拨人。数学共同体要面对的是培养与署名这两条链子——陶哲轩博客的评论区里，一位在读博士生写的是四年博士也许被一天之内的 agent 群完成，这类情绪不构成判断，却决定了这批结果进入院系时会遇到什么。数学界内部已经在公开讨论程序问题：MathOverflow 上有一个问题问的正是「先给顾问组看，还是立刻开放获取」，几个回答都把「逾百道」当作一份还没有披露的清单。13 依赖数学结论的工程团队要面对的是验收：证明助手、形式化内核、密码与优化里用到的命题，都能追溯到某一篇文稿，而文稿的评审状态今天还是空白。要写披露与宣传的团队面对的则是措辞风险：把「解决了 100 多道开放问题」写进对外材料之前，先想清楚它属于哪一档。

落到动作，本周能定的是四件。第一，标档位：官方自述、已形式化、已评审是三件不能互相替代的事，今天能拿到的是前两件中的一部分。第二，要具体的东西：题目清单、形式化脚本，以及「公告指向的那一节在哪里」——公告指向的章节在页面上找不到，这本身就值得记一笔。第三，把开关分开看：发布方式有外部意见，进度没有；如果你的团队要基于这类结果做采购、集成或对外宣传，写进验收单的应该是清单与脚本，而不是「有顾问组背书」。第四，留一个观察点：顾问组官网写明建议会公开，但截至 9 月 22 日一条都还没有。这也是唯一能持续追踪的外部信号——建议是否真的被公开，公告里的措辞有没有被建议改写，成员有没有人退出。

这件事停在一句话上：评议在组里，决定与后果在公司。2