先看证据
一份模型手稿，不等于一项学界共识
OpenAI在2026年10月26日宣布了三项内部模型研究结果，分别涉及调和分析中的局部光滑化猜想、计算复杂性中的指数时间假设（ETH），以及量子场论中的存在性问题。公司把这些手稿称为“原始研究材料”，并邀请外部学者协助理解、核验和发展成果。换句话说，公告谈的不只是模型能否给出证明，也是在尝试设计证明离开模型之后如何进入科学共同体。
这一区分值得技术负责人认真对待，因为研究主张的生成和知识的建立并不是同一个环节。OpenAI称模型在数学和计算机科学问题上生成了自然语言论证及Lean形式化，在物理问题上也生成了相关证明材料，但公告并未说三项结果都已通过独立同行审查。真正需要观察的，是材料能否被外部研究者检查、反驳、修订，并最终纳入各自领域的知识体系。
三种发布方式，三种信息开放程度
数学结果采用最直接的开放路径：先公布模型输出，让研究者自行组织理解和解释。计算机科学结果则由外部团队牵头说明，同时立即公开自然语言证明和Lean形式化，供其他人检查和继续工作。物理结果走得更谨慎，合作组决定暂缓公开AI生成材料，先由组员自行撰写说明。
这些安排不是同一套流程的不同包装，而是对“何时公开、由谁解释、谁能先看到材料”的不同回答。ETH团队由Russell Impagliazzo、Ramamohan Paturi和Ryan Williams牵头；物理组包括David Gross、Michael Douglas、Arthur Jaffe、Igor Klebanov和Nikita Nekrasov。OpenAI表示，目前尚不知道哪一种方式最有用。三条路径的差异本身就是试验对象：开放材料可能扩大检查面，专家整理可能帮助解释，而暂缓披露则把初期判断交给合作组。
Lean让证明可检查，但不替代审查
公告给出了结果生成与形式化的大致时间线。OpenAI称，数学模型于2026年10月18日得到局部光滑化结果，10月19日完成Lean形式化；ETH自然语言反证在10月16日生成，Lean形式化于次日完成。数学背景也说明了主张的分量：Sogge于1991年提出局部光滑化猜想，二维情形在2019年得到证明，而Wang与Zahl于2025年证明了三维Kakeya猜想。OpenAI称新结果证明所有维度的局部光滑化猜想，并具有更广泛的分析学影响。
这些日期和形式化文件提高了外部检查的可操作性，却不能单独回答证明是否成立。Lean文件能够检查其形式化覆盖的命题及相应证明，但仅凭文件存在，不能断定自然语言论证的每一步都已被独立审查，也不能断定自然语言稿与形式化陈述完全对应。ETH尤其需要领域专家判断其反证的含义，因为该假设长期被用于支撑多个领域的条件性困难性结果。形式化是重要证据入口，不是自动盖章。
署名规则解决不了所有劳动问题
OpenAI为外部合作提出了几项原则：协作透明，不要求参与者签保密协议；公司不为内部模型产生的发现索取学术署名；研究者应获得其解释、写作和其他材料的认可；参与者自愿、无偿并独立表达结论。这样的安排试图把模型产出与后续学术贡献分开，避免把受邀协助理解结果误写成原始发现的作者身份。
但透明并不等于参与机会平等。谁被选为首批引导者，会影响谁最先接触材料、哪些疑问先被提出，以及后续讨论从哪里开始。无偿参与也意味着核验和解释的时间成本可能落到学界，而公告没有交代如何持续补偿这类劳动。ETH团队要求公开原始数据，并要求OpenAI资助一场讨论领域影响的会议，说明外部合作不只是替发布者把稿子讲清楚，也可能提出关于研究基础设施和社区资源的要求。
把流程当作研究主张的一部分
对实验室和技术负责人来说，这次发布提供的可借鉴之处，不是照抄三种路径中的某一种，而是把几个容易混在一起的环节拆开：模型生成了什么，哪些内容经过形式化，外部专家如何解释，哪些材料可以公开，以及谁对结论负责。对高影响研究主张，团队可以据此预先规定原始材料、形式化范围、独立审查和署名归属，而不是等结果发布后才临时协商。
边界同样清楚。OpenAI的公告没有给出独立核验完成或学界最终认可的结论；物理合作组暂不公开AI生成材料，外部读者目前无法仅凭公告检查QCD证明细节，公开资料也未说明何时发布。三种策略还会带来不同的信息不对称和解释成本。现阶段更稳妥的判断是：这些结果值得被认真检验，但发布本身不是验证完成的证明；流程是否可信，要看材料开放、审查独立性和后续责任能否落实。