搜索
OpenAI 与 Anthropic 同日宣布其 AI 模型称证伪 ETH
5 小时前
OpenAI与Anthropic几乎同时宣布，其内部模型推翻了统治理论计算机科学领域27年的指数时间假设。其中，Anthropic的成果由Claude在零人类干预下独立推演得出，Claude成为该论文的唯一署名作者。指数时间假设由学者于1999年提出，其核心观点是3SAT不存在亚指数时间算法，此前大量相关领域的研究均以此假设为前提。该假设被推翻后，众多依赖它的研究结论将面临重新评估。目前，两家公司均已公开可运行的Lean形式化证明代码，原假设提出者正联合顶尖团队对代码进行审验。同时，有业内人士将AI生成的冗长证明精简为更易理解的版本。这一事件表明，AI已不再局限于作为人类科研的工具，而是成为硬核理论科研的第一完成者。未来，科研模式或将被重塑，人类科研人员将从繁琐的推演证明工作中解放出来，转而专注于发掘核心问题、搭建跨学科现实连接。
