OpenAI与Anthropic宣布内部模型推翻指数时间假设，结论尚待同行评审

OpenAI与Anthropic先后宣布，两家于10月16日分别用内部模型得到推翻指数时间假设（ETH）的结果，均已给出 Lean 形式化证明，结论尚待同行评审。ETH假设3-SAT问题不存在次指数时间算法，此前被学界普遍当作前提，大量图论、计算生物学等领域的复杂度结论建立在它之上。OpenAI的模型找到在次指数时间、多项式空间内精确计数逻辑公式解的算法，邀请ETH提出者 Russell Impagliazzo、Ramamohan Paturi 与麻省理工数学家 Ryan Williams 组成小组负责验证，并应数学家要求公开了全部原始数据。Anthropic称其核心算法由内部 Claude 模型独立发现，人类研究员参与了呈现方式的改进。三位数学家发文表示其参与不构成对该主张的认可，正在组织独立审查；若结论最终被验证成立，大量依赖ETH的计算困难性判断需要重审。