OpenAI 称 AI 推翻指数时间假设

当地时间 10 月 26 日，OpenAI 一次性公布三项由其内部模型产出的研究成果，横跨数学、计算机与物理。公司把这批文稿定性为「原始研究数据」，不是已定型的结论，等学界独立核查。这个措辞决定了下文三件事现在算什么、不算什么。

数学方向是调和分析。模型给出局部光滑猜想在所有维度下的证明——这个猜想 1991 年由 Sogge 提出，说的是波聚焦到最极端必然短暂，随机时刻的强度远低于最坏情况。它足够基础，一旦成立就顺带解决所有维度的挂谷猜想与 Stein 限制猜想。成果 10 月 18 日拿到，次日完成 Lean 形式化验证，按专家建议已在 GitHub 公开。

计算机方向震动最大：模型证明指数时间假设（ETH）为假。ETH 是三十年来被广泛接受的猜想，描述布尔公式可满足性问题的计算复杂度，数百篇论文以它为前提推导图论、计算生物、数据库、计算几何的困难性结论。OpenAI 称 10 月 16 日找到自然语言反证，17 日在 Lean 完成形式化，材料已公开。核查组由 ETH 最初提出者 Impagliazzo、Paturi 与 MIT 的 Williams 领衔，三人在公开信里写清楚：参与不等于背书，如此重大的结果需要审慎独立审查。

物理学方向是量子色动力学的存在性与标准模型的完备化。成果证明了四维时空下含规范场与费米子的相互作用量子场论存在，涵盖 QCD 与标准模型的一个统一完备版本；子问题里还证明了纯杨–米尔斯理论存在，这是千禧年难题「杨–米尔斯存在性与质量隙」的关键一块。时间线：9 月 9 日杨–米尔斯、9 月 18 日 QCD、10 月 16 日形式化；外部团队由 2004 年诺贝尔物理学奖得主戴维·格罗斯领衔，并决定暂不公开 AI 生成的文稿，自己整理成论文。

对普通人意味着什么。短期不影响生活，但性质变了：以前说 AI 会做题、会写代码，现在是 AI 给出能被机器逐行核验的证明。随之冒出新问题：验证成本谁承担、署名怎么算。OpenAI 的做法是参与者自愿、无报酬、不签保密协议、可自由发表，公司不为模型产出的发现索取署名。这套规则能不能立住，比三个结果本身更值得看。

出处：澎湃新闻 · 原文发布：2026-10-27