OpenAI 连发数学物理突破,却因“捂着不放”惹恼研究者

OpenAI 在 2026 年 10 月 27 日公布数学、计算机科学与物理三项宣称突破性的成果,但披露方式不一致,部分结果交由“牧羊人”专家把关,研究者对社区无法直接审视全部材料感到不满。

一句话看懂:OpenAI 在 2026 年 10 月 27 日公布数学、计算机科学与物理三项宣称突破性的成果,但披露方式不一致,部分结果交由“牧羊人”专家把关,研究者对社区无法直接审视全部材料感到不满。

事件核心:发生了什么

据 The Verge 报道,OpenAI 周一公布了三项成果:数学方面宣称在所有维度上解决 Kakeya 猜想;计算机科学方面宣称否证指数时间假设;物理方面涉及标准模型下的量子色动力学与 Yang-Mills 理论,但不处理“质量间隙”难题。三项均属重要未解问题,但发布方式不同:数学结果公开了 AI 输出,让研究者自行整理解释;计算机科学结果将由外部研究组撰写解释;物理材料完全未发布,OpenAI 称将听从外部专家意见决定如何公开。此前 10 月初,OpenAI 曾向数学家集中投放数百篇预印本,已引发社区疲惫。

为什么重要

这些结论尚未经完整同行评审,但受访专家用“巨大”“重大突破”“显著”等词评价其潜在分量。Kakeya 猜想三维版本曾是 2026 年菲尔兹奖得主、NYU 数学家 Hong Wang 的工作之一,布朗大学教授 Brendan Hassett 称 OpenAI 的说法“看起来支撑充分”,但强调尚未核对 Lean 形式化验证。真正争议在流程:若突破由 AI 生成,却只让少数指定专家先看,社区复核会被拖慢。对闭源 AI 实验室而言,这也会影响外界对其可信度与开放程度的判断。

对用户/开发者/创作者的影响

目前公开信息显示,这些是研究性成果,不是可直接调用的 API 或产品功能。对数学与理论计算机研究者,关键是能否尽快拿到完整推理与形式化材料;对开发者,短期看不到工具变化,但若 Lean 等形式化验证被更多采用,AI 辅助证明的工程链路可能受益;对内容创作者,需注意“宣称解决”不等于“已公认证明”,转述时应区分 OpenAI 声明与社区验证。

GamsGo AI

AI 工具推荐

想把多个 AI 模型放在一个入口?

GamsGo AI 集成 ChatGPT、DeepSeek、Gemini、Claude、Midjourney、Veo 等常用模型,适合写作、绘图、视频和日常 AI 工作流。

了解 GamsGo AI

推广链接:通过此链接购买,我可能获得佣金,不影响你的价格。

值得关注的后续

一是物理结果何时、以何种形式公开;二是外部“牧羊人”小组是否具备独立复核能力,以及 Lean 形式化验证能否通过;三是数学界对 Kakeya 猜想证明的正式审阅结论,以及 OpenAI 是否会调整成果发布流程。

来源:The Verge

celebrityanime
celebrityanime
文章: 30476

发表回复

您的邮箱地址不会被公开。 必填项已用 * 标注