OpenAI 三项成果引入牧羊人

OpenAI 10 月 26 日在官方博客宣布三项由内部模型产出的科学成果：调和分析方向的全维度局部光滑猜想证明（进而解决挂谷猜想）、计算机科学方向对指数时间假设（ETH）的否证，以及物理学方向对 QCD 等四维量子场论的存在性证明。与 10 月 6 日直接倾倒 722 篇手稿不同，这次它请来外部专家担任「牧羊人」（shepherd），由三个小组各自决定发布方式；而它此前召集的数学顾问组 AGMAI 前一天刚公开建议「AI 公司不要指定特权接收者」。

要点

三项成果三个日期：局部光滑模型输出 10 月 18 日、Lean 形式化 10 月 19 日；ETH 自然语言证明 10 月 16 日、Lean 10 月 17 日；杨–米尔斯存在性证明 9 月 9 日、QCD 9 月 18 日、杨–米尔斯 Lean 10 月 16 日。
三种发布策略：数学组选择直接放模型原始输出；CS 组决定立即公开并牵头解读；物理组暂扣 AI 产物，自行撰写论文。
牧羊人名单：CS 组由 ETH 原提出者 Impagliazzo、Paturi（UCSD）与 MIT 的 Williams 领衔；物理组由 2004 年诺贝尔物理学奖得主 David Gross 牵头。
反方在先：据 The Verge 报道，AGMAI 顾问组 10 月 25 日建议 AI 公司不要采用指定特权接收者的做法。
连续性背景：10 月 6 日发布的 722 篇手稿中 3 篇已于 10 月 7 日撤稿（GitHub history.md 记录在案）。

牧羊人机制怎么运作

据 OpenAI 官方博客，它先请外部专家组织小组来理解新结果，再与各小组商定发布方式，四个原则写得很明确：对合作的存在保持透明、不签保密协议；OpenAI 不为模型发现寻求学术学分；写稿与解读材料由小组署名；参与自愿且无报酬。三个小组的选择截然不同——数学组沿用 10 月 6 日的做法，直接放出模型输出；CS 组不但立即公开全部材料，还请社区协助组织对 ETH 论证的公开检视，OpenAI 并承诺出资办一场讨论其影响的学术会议；物理组则把 AI 产物扣在手里，由小组自己写成论文再发。官方博客也承认这套机制的代价：选定牧羊人就意味着「谁先接触由谁决定」，信息不对称客观存在。

三项成果的分量差很大

数学结果是三项里唯一带完整公开材料的：GitHub 上有自然语言论文和 Lean 形式化，10 月 19 日完成机器验证。局部光滑猜想 1991 年由 Christopher Sogge 提出，此前数学家一个维度一个维度地推进——王虹 2025 年与 Zahl 合作证出三维挂谷（IT之家脉络），而据 The Verge，王虹已因该工作获 2026 年 7 月的菲尔兹奖；这次模型用一个辅助偏微分方程一口气覆盖所有维度不少于二的空间，还顺带推出 Stein 球面限制估计。ETH 否证同样带 Lean：形式化文档写明，算法对固定宽度 CNF 公式的精确计数用时为亚指数级、空间多项式级，3-SAT 情形即否证 ETH——数百篇论文以此为难度前提。物理一项最重也最虚：自然语言证明（杨–米尔斯 9 月 9 日、QCD 9 月 18 日）未公开，杨–米尔斯存在性的 Lean 形式化虽已在 10 月 16 日完成，也未随公告放出（截至 10-27 在 openai/math 仓库检索不到）。「统一完备化标准模型」是官方博客的自述，IT之家将其表述为「千禧年难题的一部分」已被解决的一个子问题——成果正由小组审查，未经独立验证之前只能当作声称。

各方说法与时间线

Hacker News 上公告帖一天内过了 700 分，ETH 论文单独一帖也过了 500 分（2026-10-27 经 Algolia API 核实）。复杂性理论读者把「ETH 是假的」视作地震级消息，同时迅速降温预期：多位评论指出亚指数不等于多项式，对 P 与 NP 问题的更新有限。对物理结果，业内口吻冷得多——有人指出存在性证明只说明「质量间隙是否有定义成为合法问题」，离证明质量间隙还很远；也有人提醒 QCD 用了 45 年，物理学家缺的从来不是「它存在」的信心。更受关注的是时机：据 The Verge 报道，AGMAI 顾问组 10 月 25 日（公告前一天）声明建议 AI 公司不要指定特定人物优先接收成果，理由是「获取不平等、声誉借用与选择性偏差」，转而建议把成果放上学术仓库、附 Lean 形式化并为理解工作出资——OpenAI 次日的公告几乎逐条照做了，只是「牧羊人」名单本身就是一份指定名单。

编辑判断：流程是主角

对照上个月的 722 篇手稿，这次真正的新东西是流程本身。上次发布次日就撤了 3 篇稿、14 篇返修，顾问组要求「停止」；这次发布前先找了好领域的头面人物，Lean 先行，物理结果宁可压着不发。牧羊人机制回答了 AlphaProof Nexus 登上 Science 之后的同一个问题——AI 结果怎么过同行评审——答案是先让评审的人上场，再让公众看。对数学和 CS 两个社区，这是可以直接用的材料（Lean 文件就在 GitHub）；对旁观者，值得盯的是物理组那篇小组署名的论文何时出现，以及 500 万美元（经 Simons 基金会）能否真把「消化 AI 产出」变成一份有报酬的工作。至于 OpenAI 自己写的四原则是不是公关,答案要等下一次手握重磅成果却请不到牧羊人时才见分晓。

接下来

CS 组的公开检视和 OpenAI 承诺的会议尚未排期；物理组的论文与未公开的 AI 产物是第一个实质检验点；开放信的三个问题（早期获取的预期、学分如何分配、如何支持学生）正通过 The Verge 报道中附的 Google Docs 向社区征集意见。