OpenAI 与 Anthropic 称模型推翻 ETH，计算机科学家讨论后续影响

OpenAI 昨日发布了三个长期困扰研究者的重磅数学问题的解决方案。其中之一是对指数时间假说（ETH）的出人意料的否定——ETH 是计算机科学中一个持久成立的假设，在我们理解何为难以计算的问题上扮演着重要角色。

与这家前沿实验室此前发布证明时一样，科学界的反应喜忧参半。Anthropic 数学家 Levent Alpöge 暗示 OpenAI 的解决方案基于已有工作，数小时后，Anthropic 随后发布了自己对 ETH 的反驳。

不过，OpenAI 的流程正在演变。这一次，该实验室针对所涉三个学科采用了不同的发布结构：数学家的工作被发布到 GitHub 上；计算机科学家组成了一个工作组，要求公开分享证明，并要求 OpenAI 资助一场会议来讨论这些证明；物理学家则组成了一个工作组，由其决定他们的成果将如何发布。

麻省理工学院教授 Ryan Williams 是组织计算机科学界回应这一新发现的计算机科学家。Williams 的研究聚焦于这些计算复杂度问题，他过去曾批评 OpenAI 的做法，称其今年 10 月早些时候的证明发布是“对数学家的 DDOS 攻击”。

不过，他告诉 TechCrunch，他同意与这些前沿实验室合作，以帮助引导对该领域至关重要的想法。实验室请他协助解读该解决方案，一同参与的还有加州大学圣地亚哥分校计算机科学家 Russell Impagliazzo 和 Ramamohan Paturi，两人于 1999 年首次发表了 ETH。

他们的第一步是发布一封公开信，呼吁对这些题目感兴趣的科学家提供反馈，并讨论 AI 对其工作贡献的规范。

“（OpenAI 证明的）有些部分，也许你可以说是常规的，但没错，有两三个看起来像外星来的部分，而正是我看到的这些部分让我想到，哇，这是整个社区需要一起努力的事情，”Williams 告诉 TechCrunch。

你接受 P vs NP 吗？

ETH 属于一类更广泛的问题，即 P vs NP，几十年来一直激发着计算机科学和许多其他领域的活力。简而言之，研究人员试图理解，是否任何解可以被轻易验证的问题（NP）也能被轻易求解（P）。

一个简单的例子是数独游戏：一旦谜题的解就位，它可以被快速验证，但找到解却很耗时。这种动态在一系列重要问题中都成立，这一洞见支撑着密码系统：当你拥有编码消息的密钥时，你可以揭示它，但真正破解一个有效密码耗时太久，因而没有用处。

然而，科学家尚未证明这是否总是成立。“P = NP 说的是，你不仅能在数独解存在时验证它们，你还能直接生成它们，”Williams 说。“P = NP 断言这对每一个你能快速验证的问题都成立——如果你能快速验证它，你就能快速求解它。所以这看起来似乎好得令人难以置信。”

这就是为什么大多数科学家假设 P ≠ NP。ETH 为此提供了证据。它基本上是说，对于某一类棘手的逻辑谜题，随着变量数量的增长，即使是最快的计算机算法也需要指数级更多的时间来找到解。

OpenAI 和 Anthropic 声称，它们的模型已经提出了能在“次指数”时间内解决这些谜题的算法，这意味着比之前认为可能的速度更快。如果属实，他们可能已经证明了 EFT 为假——用科学术语来说就是反驳了它——并且也许为通常能实现 P = NP 的算法开辟了一条道路。

“每位计算机科学家或许都应该对 P = NP 的可能性多给予一点重视，但重视程度可能因人而异，”Williams 说。“我确实认为，这在一定程度上让我们此前关于……[困难的 NP 问题]有多容易处理所抱有的许多直觉受到了质疑。我也认为这大概也不是最终答案。我不认为 OpenAI 的算法可能是你能得到的最佳算法。”

计算机科学家面前的工作

Williams 说，在过去十年里，ETH 的稳固性使其被纳入许多科学论文，如果 AI 实验室关于已证明其错误的说法站得住脚，这些论文将需要重新审视。

“这也是我为什么请求或推动 OpenAI 支持就此召开一次会议的部分原因——这会影响许多研究者的工作，我们需要弄清楚，好吧，接下来会发生什么；除了理解这些算法之外，我们还需要理解，我们之前所拥有的基础应该是什么？”他说。

在科学担忧之前，还有网络安全问题。Williams 说，改进的算法可能意味着依赖某些密钥长度的密码系统可被视为已被攻破。因此，他向 OpenAI 科学负责人 Dan Roberts 提出的首批问题之一“就是他们是否检查过这是否影响任何密码系统……现在是否有任何东西不安全？显然，他们检查过，并且相当有信心这……并不意味着任何破解。”

这种科学发现的新 AI 范式仍在发展中，但 Williams 说，尽管存在切实的担忧，他仍持乐观态度，尤其是关于培养下一代科学家。作为一名从事高层次数学研究的计算机科学家，这或许使他比纯数学家更容易适应。

不过，他说，AI 正在“迫使人们对自己所做的工作更有雄心，并更深入地思考：好吧，如果我过去研究的所有东西现在对 AI 来说都是唾手可得的成果，我该如何提高我想提出的科学问题的标准？”

当您通过我们文章中的链接购买时，我们可能会赚取少量佣金。这不会影响我们的编辑独立性。