OpenAI与Anthropic分别利用内部AI模型推翻计算复杂性理论中的指数时间假设

OpenAI与Anthropic各自宣布利用内部模型推翻了计算复杂性理论中的指数时间假设（ETH），并给出了Lean形式化证明结果。两家研究表明，在多项式空间或固定k条件下，精确计数可在次指数时间内完成；Anthropic指出核心算法由内部Claude模型独立发现。目前该结论尚待数学界同行评审，若最终被验证成立，大量依赖ETH推导出的计算复杂度结论将面临重审。