OpenAI 宣称 AI 证明横跨 Kakeya、指数时间假说与 Yang–Mills
morey56 · reddit · 2026-10-27
OpenAI 于 10 月 26 日宣布其 AI 产出的三项跨领域成果，并称已提供 Lean 形式化与独立学术审查：
- 数学：证明所有维度的局部光滑性(local smoothing)，据称同时解决 Kakeya 猜想与 Stein 限制猜想。
- 计算机科学：反驳指数时间假说(ETH)——复杂性理论的核心假设；帖子明确指出这不等于解决 P vs NP。
- 物理：为量子场论给出严格存在性证明，包括 QCD 与 Yang–Mills 存在性；但 Yang–Mills 存在性本身不足以解决完整的千禧年大奖问题，后者还要求证明质量间隙。
相关细节与官方公告见 OpenAI 博客「Working with academic communities to build scientific understanding」，结果仍待学界独立确认。
所属事件:OpenAI 宣布 AI 连破 Kakeya、ETH、Yang-Mills 三大难题(38 条相关)→
「漫话AGI」频道最新
- 新论文提出「科斯奇点」:AI 智能体能签好自然语言合同吗 — xuanalogue · 2026-10-27
- Polynyak 感慨：2.5 年前还在卷 GSM8K，如今小学数学榜已成历史 — polynoamial · 2026-10-27
- Anthropic 研究员：AGI 前人类仅剩 1-5 年可按今天方式贡献智力成果 — FinanceYF5 · 2026-10-27
- 25年经验工程师自述：AI技能加身也投不出一个面试电话 — AIandDesign · 2026-10-27
- Auroch 裁员25%,有人断言 AI 将取代75%游戏工作室员工 — SydSteyerhart · 2026-10-27
- 开发者:对抗 AI 游戏克隆,深耕原创性与独特 IP 才是最佳防御 — pwlot · 2026-10-27