OpenAI与Anthropic同日宣布：世纪猜想ETH被证伪，数学基石面临重构

理论计算机科学界近日迎来重大转折。OpenAI与Anthropic两大科技公司几乎在同一时间宣布，其内部人工智能模型推翻了统治该领域长达27年的「指数时间假设」（ETH）。这一成果被誉为图灵奖级别的颠覆性发现，有望改变计算机科学的基础格局。

根据Anthropic发布的论文声明，核心算法由其内部模型Claude在10月16日零人类干预的情况下独立推演发现。该过程消耗了1400万输出Token，意味着AI模型在未受人工输入影响的前提下，完成了相当于人类顶级博士后一至两年的科研工作量。

指数时间假设由加州大学圣地亚哥分校的Russell Impagliazzo和Ramamohan Paturi于1999年提出。长期以来，无数学者试图证明破解3SAT问题所需时间随变量增加呈指数级暴涨，但这一「指数墙」至今未被人类打破。ETH被推翻意味着大量基于该假设的计算复杂性下界研究需重新评估。

为确保证明正确性，OpenAI与Anthropic均未仅提交PDF文档，而是公开了Lean形式化证明代码。Lean作为一种自动定理证明工具，能对逻辑步骤进行严格校验。此外，ETH的两位奠基人Russell Impagliazzo与Ramamohan Paturi已被请出山，联合MIT等高校团队对两家公司的代码进行逐行审验。

面对AI生成的长达60多页证明，英伟达高级AI架构师Shiva Kintali将其压缩为22页的精简版，旨在去除繁琐步骤并补充算例，以便人类同行理解。这一过程标志着学术研究的角色发生转变：AI负责攻坚复杂理论问题，而人类学者则转向消化、审计与知识提炼。

此前OpenAI在2023年发布的报告曾预测数学家将受AI冲击最大。如今ETH被证伪及Kakeya猜想等突破，验证了AI在硬核理论学科中的能力。正如学者Weijie Su所洞察，AI并非简单取代人类，而是与人类科学家共同重塑科研范式。