OpenAI 发布论文声称推翻指数时间假说 ETH，学界正组织独立核查

OpenAI 发布论文声称其 AI 系统找到亚指数时间算法，尝试证伪理论计算机科学中提出近 30 年的指数时间假说（ETH）。该算法能够在亚指数时间内精确统计布尔逻辑公式的满足解数量，OpenAI 同步公开了自然语言推导与 Lean 形式化验证。目前假说原提出者已受邀组织学界独立核查，相关事件也引发了学者对商业 AI 发布前沿学术成果与同行评议流程的集中讨论。