传 AI 系统推翻指数时间假说，证明结果已经 Lean 验证
felpix_ · x · 2026-10-27
一张截图流传称：某计算机科学协作 AI 系统已证明指数时间假说（ETH）为假，且证明结果随后在 Lean 定理证明器中得到形式化验证。
- ETH 是关于布尔公式可满足性计算复杂度的长期猜想，与 P vs NP 问题密切相关，被广泛认为是真的；
- 此前数百篇论文依赖 ETH 推导图论、计算生物学、数据库、计算几何等领域的条件性困难结果；
- 若 ETH 被推翻，这些任务可能存在更快的算法，该结果或为寻找更好的算法指明方向，但将理论进展转化为实际改进仍需大量后续研究。
该消息目前仅为截图传播，未见原始论文或机构官方发布，可信度待证实。
所属事件:OpenAI 宣布 AI 连破 Kakeya、ETH、Yang-Mills 三大难题(38 条相关)→
「漫话AGI」频道最新
- Noam Brown 感慨:2.5 年前前沿模型还在刷小学数学题 GSM8K — polynoamial · 2026-10-27
- 新论文提出「科斯奇点」:AI 智能体能签好自然语言合同吗 — xuanalogue · 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