OpenAI 证明 ETH 是错误的，加密货币 Twitter 有疑问

By: decrypt.co|2026/10/27 16:53:13

设为Google首选来源

TIME

Russell

OpenAI 表示 ETH 是错误的，加密货币 Twitter 的反应正如你所预期的那样。一位名叫 Takumi 的用户在 X 上发布道：“该死的算法交易者刚刚屠杀了 $ETH。”而 Andrew Jiang 则调侃道：“自从这个消息出来后，Vitalik 一直很安静。”

但冷静点，degens，所提到的 ETH 是指数时间假设（Exponential Time Hypothesis），这是一个来自 1999 年的计算机科学猜想，与以太坊、其价格或联合创始人 Vitalik Buterin 无关。所以，加密兄弟们，你们可以松口气了。

OpenAI 发布了一篇 67 页的论文，声称其 AI 找到了绕过该假设的方法，而提出该假设的人现在正在检查这项工作。

计算机科学家 Russell Impagliazzo 和 Ramamohan Paturi 与 Francis Zane 一起提出了 ETH，内容是一个经典逻辑难题，称为 3-SAT（寻找满足一堆规则的真或假设置，每次三个选项），它不能比尝试每种组合更快地解决。根据 OpenAI 的说法，数百篇论文假设它表明图论、计算生物学、数据库和几何中的问题不能快速解决。

Myriad: ETH 接下来会去哪里？点击进行预测。

换句话说，ETH 是一张地图，显示计算机可能永远无法快速完成的任务，而 OpenAI 表示其模型刚刚重新绘制了这张地图。“ETH 的反驳重新引发了关于这些任务可能变得多快的问题，”该公司在其博客上写道，“并可能有助于指导寻找更好的算法。”

这篇论文的日期为 10 月 17 日，修订于 10 月 25 日，描述了一种确定性算法（没有随机性的算法），可以在亚指数时间内计算每个满足该难题的赋值，这意味着工作量的增长速度比变量数量的任何指数增长都要慢。计算解决方案比判断是否存在一个更困难，因此更困难的工作带来了更简单的工作。

OpenAI 表示其 AI 在 10 月 16 日发现了反驳，并在 10 月 17 日在 Lean 中形式化，Lean 是一种机械验证每一步逻辑的软件。两者都在 GitHub 上，与本月早些时候的 722 份数学手稿相同，其中只有 162 份附带了计算机检查的主要结果。

Impagliazzo、Paturi 和 MIT 的 Ryan Williams 领导独立审查，他们对自己的角色非常谨慎。“我们的参与不应被视为对该主张的认证，”三人在一封公开信中写道，并补充说：“如此重要的结果需要仔细、独立的审查，并理解其他人可以重建、质疑和建立在其基础上。”

OpenAI 表示参与者没有签署任何保密协议，且工作是无偿的，公司同意发布所有原始数据并资助关于该结果的会议。

实际收益还遥遥无期：“寻找这样的算法，并将理论进展转化为实际改进，将需要进一步的重大研究，”OpenAI 写道。论文本身表示，该结果并未表明每个 NP 问题都可以在亚指数时间内解决，因此 P 与 NP 的问题，即每个答案易于检查的问题是否也易于解决，仍然悬而未决。

简单来说，P 是计算机可以有效解决的问题类别，而 NP 是其提议解决方案可以有效检查的问题类别。因此，P 与 NP 的问题——即每个答案易于检查的问题是否也易于解决——仍然悬而未决。

Anthropic 不想在数学战争中落后，于是发布了一篇署名 Claude 的论文，标题为“3-SAT 的 2^o(n) 时间算法”，日期为 10 月 26 日。该存储库也解决了 ETH 问题，称内部研究 Claude 模型发现了该算法，并且“该结果纯粹是渐近的，并未说明在实践中解决公式的情况。”
OpenAI 表示一个秘密 AI 模型在一次提示中破解了数百个开放数学问题——数学家们想要凭证。

Claude 在 9 月份在 Lean 中形式化了费马最后定理，Terence Tao 预见到了这种重叠。“我们现在看到，即使是有人在研究某个问题的传闻，也能引发大量 AI 驱动的努力，在原始研究项目有时间达到其全部潜力之前将其扁平化，”这位数学家在 9 月写道。

OpenAI 最近向 Simons 基金会捐赠的 500 万美元将资助研讨会、会议和特别项目，以帮助研究人员检查和建立在 AI 产生的结果之上。