OpenAI 宣称 AI 给出多项数学与复杂度难题证明
OpenAI claims new AI proofs covering half a Millennium Prize problem, the Kakeya conjecture and a core complexity hypothesis.
Rohan Paul 转述 OpenAI 的说法称，其 AI 证明了指数时间假设（ETH）为假，而该假设已支撑相关研究约 25 年。它还宣称破解了 35 年历史的局部光滑猜想并由此解决 Kakeya 猜想，并在物理领域以完整数学严格性证明量子色动力学基础稳固，覆盖 100 万美元 Yang-Mills 存在性与质量间隙千禧年难题的一半。
推荐理由
精选AI 评分 78
OpenAI 宣称 AI 证明覆盖多个长期未解数学与复杂度难题，读者可据此了解其宣称范围与分量。
主题
正文 · AI 翻译
OpenAI 声称，新的 AI 证明覆盖了一个千禧年大奖难题的一半、Kakeya 猜想以及一个核心复杂度假设。
> 这些问题涉及数学、计算机科学和物理学，是顶尖专家们研究了数十年的问题。
> 其中最大的一个：大约 25 年来，指数时间假设一直认为某些逻辑谜题所需的时间会随着规模增长而爆炸式增加。OpenAI 的 AI 表示它证明了该假设为假，而数百篇研究论文都建立在该假设之上。
> 在数学领域，该 AI 声称破解了局部光滑猜想，这是一个关于波如何聚焦的 35 年历史难题，同时也解决了著名的 Kakeya 猜想。人类此前只解决了更小的版本。
> 在物理学领域，该 AI 声称已以完整的数学严格性证明，量子色动力学——即把原子核束缚在一起的那种力的理论——建立在坚实的数学基础之上。其 Yang-Mills 证明覆盖了价值 100 万美元的“Yang-Mills 存在性与质量间隙”千禧年大奖难题的一半。