ETH AI证明争议

2026年10月，OpenAI和Anthropic分别发布由AI模型生成的数学证明，声称推翻了自1999年以来主导理论计算机科学的指数时间假设（ETH）。这一发现若被证实，将动摇数百篇依赖ETH的论文基础，并轻微提升P=NP的可能性，但并未直接解决该问题或威胁现有加密系统。

【背景】ETH认为3-SAT等逻辑难题无法以亚指数时间求解。OpenAI称其模型于10月16日发现反例，并于次日通过Lean形式化验证；Anthropic随后也发布了基于不同方法的类似结果。

然而，科学界反应复杂。MIT教授Ryan Williams与ETH提出者Impagliazzo、Paturi组成工作组进行审查，但他们在公开信中强调：“我们的参与不应被视为对该主张的认证。”Williams指出，虽然部分证明步骤看似常规，但存在“外星般陌生”的关键环节，需社区共同解析。此外，OpenAI此前因“DDOS式”批量发布证明而受批评，此次虽调整了流程（如资助会议、公开原始数据），但关于AI贡献规范及验证透明度的争论仍在持续。目前，尚无外部人类专家确认这两份证明的有效性。