OpenAI 与 Anthropic 称 AI 推翻 ETH，数十年计算机科学研究被指过时

OpenAI 与 Anthropic 本周分别宣称用 AI 证明并推翻了指数时间假设（ETH），这一假设支撑着复杂性与算法设计领域数十年的研究。两家公司已将证明以自然语言和机器可验证的 Lean 格式发布在 GitHub 上，但研究者尚未独立验证。