OpenAI 称其 AI 证明了千禧年大奖难题一半内容及 Kakeya 猜想
OpenAI 说他们的 AI 把指数时间假说证伪了，还顺手解决了 Kakeya 猜想，这要是真的，几百篇论文得重写。
OpenAI 宣布其 AI 在数学、计算机科学和物理三个领域完成了重量级证明。该 AI 声称推翻了持有约 25 年的指数时间假说（Exponential Time Hypothesis），而数百篇论文建立在该假说之上。在数学方面，AI 声称解决了 35 年历史的局部光滑化猜想（local smoothing conjecture），同时推倒了著名的 Kakeya 猜想。在物理方面，其 Yang-Mills 证明覆盖了 100 万美元奖金的“Yang-Mills 存在性与质量间隙”千禧年大奖难题的一半。
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.
