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