OpenAI 宣称其模型证明「指数时间假设」为假，Lean 已验证
faraz0x · x · 2026-10-27
OpenAI 声称其系统证明了一个被广泛相信的猜想——指数时间假设（ETH）——是假的。ETH 是关于布尔公式可满足性计算复杂度的长期猜想，与 P vs NP 问题密切相关，数百篇论文依托它推导了图论、计算生物学、数据库、计算几何等领域的条件性困难度结果。
这一反驳结论已在 Lean 中通过形式化验证，且证明是公开的；OpenAI 还声称在数学和物理上有其他证明成果。若成立，该结果将重新打开「这些任务到底能快到什么程度」的问题，可能指引更优算法的搜索。不过外部专家仍需独立核查，目前应视为未经完全证实的重大宣称。
所属事件:OpenAI 宣布 AI 在数学、复杂性与量子场论获三项科学突破(93 条相关)→
「模型」频道最新
- Fable 5.5 发布日,社区期待新玩法 — iruletheworldmo · 2026-10-27
- 蚂蚁系开源模型 Ling-3.1-flash 升级:560B 总参 25B 激活,上下文达 1M — jacek2023 · 2026-10-27
- 用户吐槽 Gemini 无视自定义指令：明令禁止仍自行启动活动 — loriofficialita · 2026-10-27
- EdgeRock 架构 256K 上下文 KV 缓存仅 72 MiB,比 Qwen3.5-4B 省 99.1% — alifcoder · 2026-10-27
- 博主公开批评 Kimi 订阅是骗局后遭误判软广锁号 — Scobleizer · 2026-10-27
- 博主改口:Anthropic 模型已全面碾压 OpenAI,与三月前判断相反 — Scobleizer · 2026-10-27