OpenAI 公布模型成果:Lean 验证证明指数时间假说不成立
thinkindev • 2026-10-27
1400 views
OpenAI 宣布了三项由模型生成的研究结果,分别涉及调和分析、计算复杂性理论和量子场论。其中最引人关注的是在复杂性理论中,模型给出了一个经 Lean 验证的证明,表明长期存在的指数时间假说(Exponential Time Hypothesis, ETH)为假。ETH 是计算复杂性领域的重要未解假设,通常认为某些 NP 难问题无法在次指数时间内解决;若该结果成立,可能促使学界重新评估相关问题的难度下界。OpenAI 表示,包括 ETH 原始提出者 Russell Impagliazzo 和 Ramamohan Paturi 在内的外部团队将对这些结果进行核查与解释,进一步验证其正确性和影响。此外,公布的结果还涉及 Kakeya 猜想和量子色动力学等方向。这一发布体现了 AI 模型在前沿数学与理论物理研究中辅助发现和证明的潜力,同时也强调学术共同体独立验证的重要性。
核心要点
- OpenAI 公布三项模型生成结果,覆盖调和分析、复杂性理论和量子场论。
- 其中一项经 Lean 验证的证明显示指数时间假说(ETH)为假,可能影响计算复杂性下界研究。
- 外部团队包括 ETH 原始提出者将独立核查并解释这些结果。