AITNT · AI头条（网页）·· 2 小时前精选AI 评分86
OpenAI 与 Anthropic 模型同日宣布证伪理论计算机科学中的指数时间假设（ETH）
计算机领域天塌了！两大巨头同日宣布：世纪猜想ETH被证伪
AI 导读
OpenAI 与 Anthropic 内部模型同日宣布推翻统治理论计算机科学 27 年的指数时间假设（ETH），并各自公开了机器可验证的 Lean 形式化证明代码。Anthropic 声明其核心算法由 Claude 内部研究模型消耗 1400 万输出 token 独立推导完成。目前 ETH 原提出者等学术团队正对两家的形式化证明代码展开审验。
推荐理由
原文展示了两大机构内部模型宣称证伪指数时间假设并附带机器可验代码，有助于了解模型在理论计算机和形式化推演中的进展。
来源：AITNT · AI头条（网页） · aitntnews.com