ETH 研究稿与 Lean 形式化材料公开征求复核

ETH 研究稿与 Lean 形式化材料公开征求复核 OpenAI 公开关于指数时间假设的自然语言研究稿、Lean 形式化材料及范围说明，邀请社区检查和解释，形式化所表达的复杂度界限与研究稿的更强界限需分别核对。

形式化验证及算法研究人员可据此审阅材料，但不能将发布等同于学界最终认可、解决 P 对 NP，或已经提供实用 SAT 加速器。