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 证明覆盖多个长期未解数学与复杂度难题，读者可据此了解其宣称范围与分量。
主题
正文
OpenAI claims new AI proofs covering half a Millennium Prize problem, the Kakeya conjecture and a core complexity hypothesis.
> These problems are in math, computer science and physics, problems top experts had worked on for decades.
> The biggest: for about 25 years, the Exponential Time Hypothesis held that certain logic puzzles take time that explodes as they grow. OpenAI’s AI says it proved the hypothesis false, and hundreds of research papers rest on it.
> In math, the AI claims to have cracked the local smoothing conjecture, a 35-year-old puzzle about how waves focus, which also settles the famous Kakeya conjecture. Humans had only solved smaller versions.
> In physics, the AI claims it proved, with full mathematical rigor, that quantum chromodynamics, the theory of the force holding atoms’ cores together, stands on solid math. Its Yang-Mills proof covers half of the $1M “Yang-Mills Existence and Mass Gap” Millennium Prize problem.