OpenAI表示，其AI模型发现了一种可能挑战计算理论中长期假设“指数时间假设”（ETH）的算法。不过，这一结果目前仍处于学界独立验证阶段，至于能否转化为实际求解性能提升，也还有待进一步研究。

据区块链媒体Decrypto当地时间27日报道，OpenAI在一篇67页论文中提出了一种确定性算法，用于以快于既有理论预期的速度统计3-SAT问题的满足解数量。ETH的核心观点是，某些特定问题不存在显著快于指数时间的求解算法。自1999年提出以来，这一假设一直是图论、计算生物学等多个研究领域的重要理论前提。

由于缩写相同，这一消息也在加密货币社区引发讨论。ETH同时也是以太坊的代币代码，部分用户因此产生混淆。X（原Twitter）上，有用户调侃称“算法交易员把以太坊砸穿了”，也有人开玩笑说，消息传出后Vitalik Buterin异常安静。不过，此处的ETH指的是“指数时间假设”，并非以太坊。

此次研究的焦点，是如何统计3-SAT问题的满足解数量。3-SAT是经典计算问题，目标是在一组逻辑约束下，判断是否存在能够同时满足所有条件的变量赋值。OpenAI提出的方法可在准指数时间内完成计数。若相关结论最终成立，外界对这类计算问题复杂度的既有认知可能受到影响。

OpenAI称，AI于10月16日发现了这一结果，并在次日借助数学证明形式化工具Lean完成了证明的形式化验证。相关成果目前也已在GitHub上公开。

不过，学界对此仍持谨慎态度。Russell Impagliazzo、Ramamohan Paturi以及麻省理工学院（MIT）的Ryan Williams在公开信中指出，参与审阅并不意味着为这一主张背书，相关结论仍需独立复现和进一步审查。

Anthropic也于26日公布了一篇与3-SAT相关的算法论文。其说明称，这一结果属于理论层面的时间复杂度改进，并不直接对应现实问题中的求解性能提升。

OpenAI同样表示，理论进展距离转化为实际性能提升仍有很长路径，此次结果也不意味着所有NP问题都能被快速解决，经典难题P对NP依然悬而未决。整体来看，这项研究再次显示出AI在数学发现方面的潜力，但其实际意义仍需等待独立验证结果进一步确认。