AI 系统证明指数时间假设(ETH)为假，结果已通过 Lean 验证
burny_tech · x · 2026-10-28
一个计算机科学协作 AI 系统宣称证明了指数时间假设(Exponential Time Hypothesis, ETH)为假，且该证明随后通过了 Lean 形式化验证。ETH 是关于布尔可满足性问题计算复杂度的长期猜想，与 P vs NP 深度相关，被广泛认为成立，并被数百篇论文用于推导图论、计算生物、数据库、计算几何等领域的条件性困难结果。若该结果成立，依赖 ETH 的大量条件性下界证明将受冲击，堪称 AI 辅助数学的重大事件。
所属事件:OpenAI 模型宣称反驳指数时间假设，将通过独立审查(3 条相关)→
「研究」频道最新
- 用贝叶斯算 P=NP：似然比 10:1 倒向等式成立 — jessi_cata · 2026-10-28
- Karpathy GitHub 免费学习路线走红：从 micrograd 到 nanochat 六步吃透 LLM — lmoroney · 2026-10-28
- AI 科学 vs 人类科学：从 Thurston 数学观重思 AI 如何做研究 — hugo_larochelle · 2026-10-28
- 顶级计量经济学家发论文:讲我们的 LLM 如何写出这篇论文 — lihua_lei_stat · 2026-10-28
- 发布 10 个月后前沿模型 SpatialBench 逼近 75%，GPT-6.1 Terra 创新高 — kenbwork · 2026-10-28
- 手写 Transformer 自动微分：PyTorch 极简 autograd 实现开源 — ifaposto · 2026-10-28