OpenAI 在 2026 年 10 月 26 日的文章里宣布，模型在数学、计算机科学和物理三个方向给出了新结果，分别涉及调和分析、复杂性理论和量子场论。公司把这些手稿称为原始研究数据，并写明这次改用另一种公开办法：请外部专家担任 shepherd，组织小组去理解这些结果。专家建议了三种处理。数学结果公开模型产出，由其他研究者自己组织解释。复杂性结果既组建外部小组，也把模型产出公开，供别人检查和续做。物理结果组建外部小组，材料是否公开由他们决定。
[1]
页面写了四条合作原则。参与者不签保密协议，可以讨论、分享中间产物并发表自己的结论。公司不为自己的模型发现索取学术署名；被邀请来主持，也不等于这个人或小组做出了最初的发现。小组对自己写出的理解和材料获得署名，并负责标出来源。参与是自愿且无报酬的，结论属于他们自己，他们不代表 OpenAI，OpenAI 也不代表他们。这些是公司单方面写下的规则。页面没有附上受邀者签署或确认的文本。
[1]数学一项，公司称模型证明了所有维度的 local smoothing 猜想，并因此认为 Kakeya 猜想和 Stein 限制猜想在所有维度都被解决。新证明被写成依赖一个新的辅助偏微分方程。公司写，模型产出是在 2026 年 10 月 18 日得到的，次日完成 Lean 形式化，然后联系了一位专家。按对方的建议，公司把自然语言稿和 Lean 证明放进了公开仓库。这是公司对证明内容和形式化的说法。页面没有引用那位专家的原话，说证明已经成立。
[1]复杂性一项，公司称系统证明了指数时间假设为假，并称随后用 Lean 做了验证。页面把主持小组写成由加州大学圣迭戈分校的 Russell Impagliazzo、Ramamohan Paturi 和麻省理工学院的 Ryan Williams 带领。公司介绍 Impagliazzo 与 Paturi 是这一假设的提出者之一，Williams 则写过与该假设相关的算法和下界。公司写，自然语言反证出现在 2026 年 10 月 16 日，Lean 形式化在 10 月 17 日。小组决定立刻公开自然语言证明和 Lean 形式化，并要求公司承诺资助一次讨论其影响的会议。页面写的是小组作了这些公开决定。它没有引用三人说，反证已经被他们确认。
[1]物理一项的时间更早，公开更窄。公司称，杨-米尔斯存在性的自然语言证明产生于 2026 年 9 月 9 日，量子色动力学的证明产生于 9 月 18 日，杨-米尔斯存在性的 Lean 形式化在 10 月 16 日完成。主持小组被写成由 David Gross 带领，成员包括 Michael Douglas、Arthur Jaffe、Igor Klebanov 和 Nikita Nekrasov。公司介绍了他们以往的工作，包括 Gross 与渐近自由相关的获奖研究，以及 Jaffe 参与提出的千禧年问题表述。页面写，这个小组决定先不发布模型产出的材料，改由他们自己撰写。因此，三份结果里，物理这一份目前没有公开文本可以核对。
[1]三份结果的共同事实是一份 10 月 26 日的公司公告，加上它所说的两种已经放进仓库的文本，以及一份被合作组按住的物理材料。公司称 Lean 形式化已经完成的地方，页面没有展示独立小组的复核结论。被点名的学者出现在公司的名单里。页面没有给他们的原话。哪一种公开办法更有用，公司自己也写了还不知道。
[1]