，10月27日，据Decrypt报道，OpenAI发布67页论文称，其AI模型找到推翻指数时间假说（ETH）的方法。该假说由计算机科学家Impagliazzo、Paturi等人于1999年提出，主张3-SAT问题无法远快于穷举求解，数百篇论文以它为前提。 OpenAI称模型于10月16日找到反证，10月17日经Lean软件完成逐步形式化验证，所得确定性算法可在亚指数时间内计数3-SAT的全部可满足指派。 论文同时声明，该结果不意味着所有NP问题均有亚指数算法，P与NP问题仍未解决。因缩写与以太坊相同，该论