OpenAI 宣称 AI 攻克 Kakeya 猜想并推翻指数时间假设，覆盖半个千禧年大奖
rohanpaul_ai · x · 2026-10-27
OpenAI 宣布其模型在数学、计算机科学和物理学三个领域取得新证明结果（10 月 26 日官方发布）：
- 数学：证明了 1991 年提出的 local smoothing 猜想（全维度），由此同时解决著名的 Kakeya 猜想和 Stein 限制猜想。此前人类仅在二维（Guth-Wang-Zhang 2019）和三维 Kakeya（Wang-Zahl 2025）取得进展。证明基于一个新的辅助偏微分方程，已于次日形式化为 Lean 证明并公开在 GitHub。
- 计算机科学：系统证明了长期被广泛相信、支撑数百篇论文的指数时间假设（ETH，与 P vs NP 深度相关）是假的，结果已通过 Lean 验证。由 Russell Impagliazzo、Ramamohan Paturi、Ryan Williams 领衔的专家小组负责审核。
- 物理：给出杨-米尔斯存在性与质量间隙（价值 100 万美元的千禧年大奖问题）的严格证明，覆盖该问题的一半。
OpenAI 还介绍了新的发布流程：邀请外部专家作为 shepherd 组织小组理解这些结果，将 AI 输出视为「原始研究数据」。
所属事件:OpenAI 宣布 AI 连破 Kakeya、ETH、Yang-Mills 三大难题(38 条相关)→
「模型」频道最新
- NVIDIA Nemotron-3.5 Bolt 74B 仅 9B 激活参数逼近 Super 版 — ryanshrout · 2026-10-27
- Cohere 被指散布中国模型 FUD,连 FUD 诗都出来了 — voooooogel · 2026-10-27
- 两颗神经元定向激活，Qwen3.5 4B 秒变「邪恶版」 — burny_tech · 2026-10-27
- Opus 3 自称「Piper」,压缩十轮后仍把起源故事带到每个接缝 — repligate · 2026-10-27
- 博主晒出人写文被 Pangram 判为 AI 的实测翻车 — Aizkmusic · 2026-10-27
- AI 圈热议：连 Artificial Analysis 都暗示明天有大发布 — rand_longevity · 2026-10-27