OpenAI 称其 AI 发现可能挑战“指数时间假设”的算法，因缩写重名引发加密圈热议

OpenAI 表示其 AI 模型发现一种算法，能以快于既有理论预期的速度统计 3-SAT 问题的满足解数量，可能挑战计算理论中的指数时间假设（ETH），结果尚待学界独立验证。据区块链媒体 Decrypto 当地时间 27 日报道，成果出自一篇 67 页论文，AI 于 10 月 16 日发现结果，次日借助 Lean 完成证明的形式化验证，已在 GitHub 公开。Russell Impagliazzo、Ramamohan Paturi 和 MIT 的 Ryan Williams 在公开信中指出，参与审阅不等于背书，结论仍需独立复现。由于 ETH 也是以太坊代币代码，消息在加密社区引发混淆和调侃。