OpenAI与Anthropic同日宣布AI推翻指数时间假设

OpenAI与Anthropic两大AI公司同日宣布，其内部模型独立推翻了理论计算机科学中长期成立的指数时间假设（ETH），其中Anthropic的Claude模型在零人类干预下完成推演，论文署名唯一作者为Claude。两家公司均公开了Lean形式化证明代码以供验证，引发学术界对AI在基础科研中角色转变的广泛讨论。