与学术社区合作,共建科学理解
背景
背景
局部光滑猜想由 Christopher Sogge 于1991年提出,位于调和分析一系列猜想的最上端:它蕴含 Bochner–Riesz 猜想,后者蕴含限制性猜想,再蕴含 Kakeya 猜想。指数时间假设认为 3-SAT 无法在亚指数时间内求解,被广泛用于推导困难性结果,包括参数化复杂性领域。Yang–Mills 存在性与质量间隙是克莱数学研究所于2000年设立的七个千禧年大奖难题之一。
2026年10月26日,OpenAI 宣布其模型给出了三项长期悬而未决结果的自然语言证明:Kakeya 猜想相关的局部光滑(local smoothing)、指数时间假设(ETH)为假,以及量子色动力学与标准模型完备化的存在性。其中 Yang–Mills 存在性证明生成于2026年9月9日,QCD 证明生成于9月18日,发布被推迟至10月16日 Yang–Mills 结果的 Lean 形式化完成后才进行。
OpenAI 将此次发布定位为研究者如何验证并在此基础上继续推进,并称正因工作量庞大且复杂,才等到 Lean 形式化完成后才公布。具备复杂性理论背景的评论者认为,ETH 被推翻是其中影响最大的一项,因为 ETH 是许多困难性与下界结果的基石。
局部光滑方面的主张被认为一并解决了任意维度的 Kakeya 猜想与 Stein 限制性猜想,该问题自1991年起悬而未决。目前尚无对这些证明的独立验证报道;发布当日的报道称相关结果仍未经核实。
hackernews · OpenAI Blog · · 社区讨论 · 4 源确认
分析与资料
影响分析
这些主张会强化围绕可验证计算与机器辅助研究的 AI 与加密叙事,其中 Lean 证明等形式化产物被视为信任层;这一传导渠道影响的是与 AI、可验证计算相关代币的情绪面,而非任何链上资金流。该事件的市场相关性取决于独立验证结果,而非公告本身。
社区讨论
有复杂性理论背景的评论者讨论了 ETH 被推翻对现有困难性证明意味着什么,以及这是否应显著提高对 P=NP 的先验判断;有人指出 ETH 论文的作者之一也参与了讨论。也有人称成果出现的节奏“令人震撼”,同时不少人认为标题是为了预先化解常见的网络反弹而设计的,并把目光转向公告正文列出的三项结果。
参考资料
标签
#openai#ai-for-science#mathematics#complexity-theory#quantum-field-theory