OpenAI 与 Anthropic 称模型反驳了指数时间假设，这意味着什么？

OpenAI 与 Anthropic 称其模型找到了反驳指数时间假设（ETH）的算法，若主张成立，将挑战部分计算复杂性研究的既有基础。报道解释，这些算法据称能以亚指数时间解决特定逻辑问题，但这不等于已经解决 P 与 NP 是否相等的问题；Ryan Williams 正组织学界理解证明，并讨论受影响的研究与 AI 科学贡献规范。