OpenAI 与 Anthropic 同日宣布其 AI 模型称证伪 ETH

OpenAI 与 Anthropic 几乎同时宣布各自的内部模型推翻了统治理论计算机科学 27 年的指数时间假设，其中 Anthropic 的相关成果由 Claude 在零人类干预下独立推演得出，Claude 是该论文的唯一署名作者。指数时间假设由学者于 1999 年提出，核心是 3SAT 不存在亚指数时间算法，大量相关领域的研究都以该假设成立为前提，它被推翻后，众多依赖它的研究结论都需要重新评估。两家均公开了可跑通的 Lean 形式化证明代码，原提出该假设的学者正联合顶尖团队审验代码，同时有业内人士将 AI 产出的冗长证明精简为人类易读的版本。这一事件标志着 AI 不再只是人类科研工具，而是成为硬核理论科研的第一完成者，未来科研模式将被重塑，人类科研人员将从推演证明的苦力工作中解放，转向发掘核心问题、搭建跨学科现实连接的方向。