OpenAI 说 ETH 是假的，而 Crypto Twitter 的反应正是你所期望的。一位名叫 Takumi 的用户在 X 上发帖称：“该死的算法交易员刚刚屠杀了 ETH。”而 Andrew Jiang 打趣道：“自从这件事发布以来，Vitalik 一直非常安静。”
但冷静点，德根斯，这里讨论的 ETH 是指数时间假说，这是 1999 年的计算机科学猜想，与以太坊、其价格或联合创始人 Vitalik Buterin 无关。所以，加密货币兄弟们，你们可以呼吸了。
OpenAI 发表了一篇 67 页的论文，声称其人工智能找到了绕过该假设的方法，提出该方法的人现在正在检查这项工作。
计算机科学家 Russell Impagliazzo 和 Ramamohan Paturi 与 Francis Zane 一起提出了 ETH，其中提到了一个名为 3-SAT（找到满足一堆规则的真或假设置，一次三个选项）的经典逻辑难题，不可能比尝试每种组合更快地解决。根据 OpenAI 的说法，数百篇论文认为它表明图论、计算生物学、数据库和几何中的问题无法快速解决。
换句话说，ETH 是一幅计算机可能永远无法快速完成的任务的地图，而 OpenAI 表示它的模型只是重新绘制了它。该公司在其博客上写道：“对 ETH 的反驳重新引发了关于这些任务可以变得多快的问题，并且可能有助于指导寻找更好的算法。”
这篇论文日期为 10 月 17 日，修订日期为 10 月 25 日，描述了一种确定性算法（没有随机性），该算法在次指数时间内计算此类谜题的每个令人满意的分配，这意味着工作量的增长速度比变量数量的任何指数都慢。计算解决方案比确定解决方案是否存在更困难，因此越困难的工作就会免费带来更容易的解决方案。
OpenAI 表示，其人工智能在 10 月 16 日发现了反驳，并于 10 月 17 日在 Lean 中正式化，这是一种机械验证每个逻辑步骤的软件。两者都位于 GitHub 上，与本月早些时候的 722 份数学手稿相同，其中只有 162 份带有计算机检查的主要结果。
因帕利亚佐、帕图里和麻省理工学院的瑞安·威廉姆斯领导了这项独立检查，他们对自己的角色非常谨慎。三人在一封公开信中写道：“我们的参与不应被视为对这一主张的证明。”并补充说，“如此重要的结果需要仔细、独立的审查以及其他人可以重建、质疑和发展的理解。”
OpenAI 表示，参与者没有签署保密协议，工作也没有报酬，公司同意公布所有原始数据并资助一次有关结果的会议。
实际回报还很遥远：“找到这样的算法，并将理论进步转化为实际改进，将需要进一步的大量研究，”OpenAI 写道。论文本身表示，结果并没有表明每个 NP 问题都可以在次指数时间内解决，因此 P 与 NP 的问题，即是否每个具有易于检查答案的问题也很容易解决，仍然悬而未决。
简单来说，P是计算机可以有效解决的问题类别，而NP是其所提出的解决方案可以有效检查的问题类别。因此，P 与 NP——是否每个答案易于检查的问题也易于解决的问题仍然悬而未决。
Anthropic 不想在数学战争中失败，于是在 10 月 26 日发布了一篇署名 Claude 的论文，题为“A 2^o(n) Time Algorithm for 3-SAT”。该存储库也解决了 ETH 问题，称内部研究 Claude 模型发现了该算法，“结果纯粹是渐近的，并没有提及在实践中求解公式。”
九月份，克劳德在《精益》中形式化了费马大定理，而陶哲轩也预见到了这种重叠的到来。这位数学家在 9 月份写道：“我们现在看到，即使是有人在研究某个问题的谣言，也可能会引发大量人工智能驱动的努力，在最初的研究项目有时间充分发挥其潜力之前将其压平。”
OpenAI 最近向西蒙斯基金会捐款 500 万美元，将资助研讨会、会议和特别项目，以帮助研究人员检查和利用人工智能产生的结果。