OpenAI与Anthropic同日宣布AI模型证伪理论计算机科学指数时间假设

OpenAI与Anthropic同日宣布其内部AI模型证伪了统治理论计算机科学27年的指数时间假设（ETH）。Anthropic论文注明核心算法由其Claude模型在零人类干预下独立推演发现，消耗1400万输出token。两家公司均公开了Lean形式化证明代码以验证逻辑，ETH猜想提出者Impagliazzo与Paturi正与MIT等团队对代码进行逐行审验。