研究者基于 ETH 反驳推出哈密顿圈亚指数算法

一位研究者基于 OpenAI 与 Anthropic 于 10 月 26 日发布的对指数时间假设（ETH）的反驳成果，推导出新算法：在仅含 O(n) 条边的 n 顶点图上，哈密顿圈数量可被确定性地在亚指数时间内精确计算，而此前所有算法均为指数级。该结果已在 Lean 中完成形式化验证，显示 AI 生成的理论突破可能催生连锁算法进展。

2026-10-28 ~ 2026-10-28 · 3 条相关

• 亚指数时间精确计算哈密顿圈数:依赖 ETH 反驳的新算法结果 — xennygrimmato_ · 2026-10-28
• OpenAI 与 Anthropic 疑似推翻 ETH 后,衍生出亚指数级哈密顿圈算法 — xennygrimmato_ · 2026-10-28
• O(n) 边图中哈密顿环数可亚指数精确计算,Lean 已形式化验证 — xennygrimmato_ · 2026-10-28