OpenAI 系统证伪指数时间假设并经 Lean 验证，专家称或将催生更快算法
FlorianGallwitz · x · 2026-10-27
引用 OpenAI 研究声明：其系统证明指数时间假设（ETH）为假，结果已在 Lean 中验证。ETH 是关于布尔公式可满足性计算复杂度的长期猜想，与 P vs NP 问题深度相关。
ETH 被证伪重新打开了「这些任务能变快多少」的问题，可能有助于寻找更好的算法；但把理论进展转化为实际提速仍需大量后续研究。作者 Gallwitz 评论称这是继 Navier-Stokes 之后第二个自己熟知的、被 AI 解决的问题。
所属事件:OpenAI 宣布 AI 连破 Kakeya、ETH、Yang-Mills 三大难题(38 条相关)→
「研究」频道最新
- 约翰霍普金斯 NLP 团队亮相 EMNLP 2026 布达佩斯 — mdredze · 2026-10-27
- 网友直改 Qwen 单个神经元，把模型改写成 3000 年外星人 — MarcJSchmidt · 2026-10-27
- looped transformer 中发现「非二元论」神经元等五个概念神经元 — burny_tech · 2026-10-27
- Qwen3.5 单神经元解读：一个神经元捏出火影、吉祥物等整个人格 — burny_tech · 2026-10-27
- Sakana AI RSI Lab 亮相一桥大学厅：Schmidhuber 主题演讲谈自研基础模型 — Stefania_druga · 2026-10-27
- PSI 用 AI 研究系统攻克量子信息五个公开问题，附 Lean 形式化证明 — IgorCarron · 2026-10-27