OpenAI 宣称攻克千禧年难题及核心复杂性假设

Rohan Paul (@rohanpaul_ai) · 2026-10-26 23

OpenAI 声称其新 AI 证明了涵盖半个千禧年大奖难题、挂谷猜想（Kakeya conjecture）以及一个核心复杂性假设的内容。

这些问题涉及数学、计算机科学和物理学，是顶尖专家数十年来一直攻克的难题。

其中最大的突破：约 25 年来，“指数时间假设”（Exponential Time Hypothesis, ETH）认为某些逻辑谜题的计算时间会随着规模增长而呈爆炸式增加。OpenAI 的 AI 声称已证明该假设为假，而数百篇研究论文都建立在这一假设之上。

在数学领域，AI 声称破解了“局部平滑猜想”（local smoothing conjecture），这是一个关于波如何聚焦的 35 年未解之谜，同时也解决了著名的“挂谷猜想”。此前人类仅解决了较小版本的类似问题。

在物理学领域，AI 声称以完全严谨的数学方式证明了量子色动力学（QCD）——即描述将原子核束缚在一起的力的理论——建立在坚实的数学基础之上。其杨-米尔斯（Yang-Mills）证明覆盖了价值 100 万美元的“杨-米尔斯存在性与质量间隙”千禧年大奖难题的一半内容。