AI 系统宣称证伪指数时间假设并通过 Lean 验证，Impagliazzo 将参与独立审查

一个计算机科学协作 AI 系统宣称证明了指数时间假设（ETH）为假，且该证明已通过 Lean 形式化验证。据报道，该模型来自 OpenAI 内部。鉴于该结果若成立将动摇复杂性理论基础，Impagliazzo、Paturi 与 Ryan Williams 等复杂度理论学者受邀组织开放的独立审查，其中 Russell Impagliazzo 将直接参与核实。