指数时间假设

报道称OpenAI模型声称以算法挑战指数时间假设，结果待审查

报道称，OpenAI模型据称发现可在亚指数时间内精确统计k-SAT解数量的确定性算法，并经Lean形式化验证。此处ETH指指数时间假设，并非以太坊。