OpenAI与Anthropic模型同日宣布推翻指数时间假设（ETH）
计算机领域天塌了，两大巨头同日宣布：世纪猜想ETH被证伪
AI 导读
OpenAI与Anthropic几乎同时宣布各自内部模型证伪了1999年提出的指数时间假设（ETH）。Anthropic论文标注核心算法由内部Claude模型于10月16日在零人类干预下独立找到，消耗1400万输出Token，唯一署名作者为Claude。
推荐理由
文章梳理了OpenAI与Anthropic同日宣布证伪ETH的经过，以及Lean形式化验证和专家逐行审验等关键细节，有助于读者判断这一成果的可信度与影响。