OpenAI 宣称 AI 证明涵盖 Millennium Prize 问题一半、Kakeya 猜想与指数时间假说反例

Rohan Paul· @rohanpaul_ai · X·2026-10-27 07:15· 35 分钟前AI 评分73

AI 导读

Rohan Paul 转述 OpenAI 宣称其 AI 完成三项跨领域数学证明。最重要的结果是指为期约 25 年的 Exponential Time Hypothesis 被其 AI 证明为假，而数百篇论文建立在该假说之上。

正文 · 原文

OpenAI 宣称其新的 AI 证明涵盖半个千禧年大奖难题、Kakeya 猜想以及一个核心复杂性假说。

这些问题横跨数学、计算机科学和物理学，是顶尖专家数十年来一直研究的问题。

最重大的一个：约 25 年来，Exponential Time Hypothesis 认为某些逻辑谜题所需的时间会随着规模增长而爆炸式增加。OpenAI 的 AI 表示已证明该假说为假，而数百篇研究论文都建立在其之上。

在数学领域，该 AI 声称破解了局部光滑猜想，这是一个关于波如何聚焦的 35 年难题，同时也解决了著名的 Kakeya 猜想。人类此前只解决了更小的版本。

在物理学领域，该 AI 声称已以完整的数学严谨性证明，量子色动力学——即把原子核束缚在一起的作用力理论——建立在坚实的数学基础之上。其 Yang-Mills 证明涵盖了价值 100 万美元的“Yang-Mills 存在性与质量间隙”千禧年大奖难题的一半。

来源：Rohan Paul · x.com