OpenAI与Anthropic同日宣称推翻ETH引轰动

理论计算机界被AI震动。OpenAI与Anthropic几乎同时宣布，自家内部模型推翻了统治理论计算机科学长达27年的“指数时间假设”（ETH）。Claude称，若结果成立，这将是数学和理论计算机领域历史上最重要的一天；OpenAI研究员Sebastien Bubeck称这是“20年来见过的最大惊喜”。

ETH由Russell Impagliazzo和Ramamohan Paturi于1999年提出，核心是3SAT不存在亚指数时间算法。可将其理解为有n个开关的密码锁，破解时间随开关数量指数级增长。过去数百篇论文以ETH成立为前提研究复杂性下界，涉及图论、组合优化、数据库和计算生物学等领域。ETH比P≠NP更强、更具体：ETH成立可推出P≠NP，但ETH被推翻不能推出P=NP。大量依赖ETH的条件性研究结论需重新评估。

Anthropic称，其内部Claude研究模型于10月16日独立找到核心算法，消耗1400万输出Token，无任何人类输入，论文唯一作者署名为Claude。多位学者评估，这相当于AI在几天内完成人类顶级博士后一到两年的科研量级。

两家公司均公开Lean形式化证明代码以自证。ETH提出者Impagliazzo与Paturi据传已被紧急请出山，联合MIT等团队逐行审验代码。英伟达高级AI架构师Shiva Kintali将OpenAI原版60多页证明压缩成22页精简版，目标是让人类同行能真正看懂。

文章认为，这标志基础科研“主客易位”：AI负责攻坚，人类负责消化和提炼。AI不会简单取代科学家，而会重塑科研。当AI接管“算与证”的苦力活，人类可把精力放在寻找更值得探索的问题和建立跨学科连接上。