事件

10 月 27 日，OpenAI 宣布其 AI 模型「破解」ETH。此 ETH 指理论计算机科学中的指数时间假设（Exponential Time Hypothesis），与以太坊无关。

核心结论

  • OpenAI 称模型找到确定性算法，可在亚指数时间内精确统计 k-SAT 问题的解数量

  • 结果已用 Lean 完成形式化验证

  • 若通过专家审查，将直接动摇 1999 年提出、沿用二十余年的 ETH 基石


为何重要

ETH 断言：SAT 这类难解问题不存在真正意义上的亚指数高效算法。大量论文据此证明「某问题很难」「某算法接近最优」。假设被推翻，意味着许多被视为「几乎不可能更快」的问题，理论上或存在更优解法。

需注意：结论仍待同行审查，尚未定论。