原帖引用 · AI 翻译
Rohan Paul@rohanpaul_ai
OpenAI 声称，新的 AI 证明涉及一道千禧年大奖难题的一半、卡凯亚猜想以及一个核心复杂性假说。
> 这些问题涉及数学、计算机科学和物理学，顶尖专家已研究了数十年。
> 其中最重大的一个是：约 25 年来，指数时间假说认为，某些逻辑谜题的求解时间会随规模增长而急剧膨胀。OpenAI 的 AI 称已证明这一假说是错误的，而数百篇研究论文都以它为基础。
> 在数学领域，该 AI 声称攻克了局部平滑猜想。这是一道有 35 年历史、关乎波如何聚焦的难题；这一结果也解决了著名的卡凯亚猜想。此前，人类只解决了规模较小的版本。
> 在物理学领域，该 AI 声称已以完全严格的数学方式证明，量子色动力学——解释将原子核维系在一起的力的理论——具有坚实的数学基础。它的杨－米尔斯证明涵盖了奖金为 100 万美元的“杨－米尔斯存在性和质量间隙”千禧年大奖难题的一半。
· UTC+8