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 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.

来源：Rohan Paul · x.com