AI 推翻 25 年 ETH 假说，提出者叹愿人类发现

据 Woofun AI 消息，电脑科学领域的基石理论遭遇前所未有的颠覆性挑战， 与 在 10 月 26 日（美国时间）同步发布声明，宣称其内部 AI 模型成功推翻了困扰学界长达 25 年的"指数时间假说"（Exponential Time Hypothesis，ETH）。

这一假说由加州大学圣地牙哥分校的 与 共同提出，长期被视为计算复杂度理论的核心前提，支撑著数百项电脑科学与生物学研究。面对这一由机器主导的突破，假说提出者之一的 Impagliazzo 在接受法新社专访时流露出复杂情绪，坦言他更希望这一发现是由人类研究者完成，而非依赖黑盒式的 AI 模型。

这一事件不仅标志著技术范式的转移，更触发了学术界对知识产权、验证机制以及人类研究者未来角色的深刻反思。

OpenAI 的技术主张体现在其于 GitHub 公开的论文《指数时间假说是错的》中，该论文作者栏仅署名 OpenAI，初稿日期为 10 月 17 日，并于 10 月 25 日进行修订。论文核心在于提出一种确定性演算法，能够在次指数时间内精确计算出 k-CNF 逻辑公式的解的数量，从而直接证伪了"判断 3-SAT 问题是否存在解，在最坏情况下需要指数时间"这一长期被奉为圭臬的假说。

值得注意的是，OpenAI 在论文中明确划定了技术边界，强调该结果仅针对特定问题类型，并不意味著所有 NP 问题都存在次指数时间演算法。这种谨慎的表述反映了 AI 在处理复杂数学证明时的局限性与边界意识，也为后续的学术审查留下了空间。

Woofun AI 整理数据显示，该论文发布后迅速引发全球关注，成为近期电脑科学领域最受瞩目的技术文献之一。

与此同时，Anthropic 也通过其 GitHub 上的 formal-math 储存库公开了相关研究成果，论文标题为《3-SAT 的 2 o(n) 时间演算法》，作者署名为 。该研究不仅由内部研究用的 Claude 模型发现，其 4 形式化证明同样由 AI 模型撰写，读者可通过证明辅助软体 Lean 自行验证。Anthropic 在说明页中特别强调，这是一项纯粹的渐近结果，"与实际求解公式无关"，旨在从理论层面突破现有认知，而非提供立即可用的工程解决方案。

这种将理论突破与实际应用剥离的策略，体现了 AI 公司在推动基础科学进步时的战略考量，即通过解决长期悬而未决的理论难题，确立其在学术界的权威地位。两家公司的同步行动，不仅展示了 AI 在形式化验证领域的强大潜力，也揭示了技术巨头在基础研究领域的激烈竞争。

面对这一颠覆性突破，三位关键学者的反应各具特色，并共同推动独立审查机制的建立。加州大学圣地牙哥分校的 Paturi 表示，他的第一反应是惊讶，毕竟该假说影响了过去 30 年的大量研究，但他坚信"围绕它建立的研究不会就此消失"，强调学术积累的延续性。麻省理工学院的 则表现出不同的态度，他坦言自己长期以来就是该假说的主要怀疑者，因此感到"自己被证明是对的"，这种立场使他在面对 AI 的挑战时显得更加从容。相比之下，Impagliazzo 的心情最为复杂，他直言"恐怕我没有其他两位那么高兴"，并表达了对人类研究者解释能力的怀念，称"我更希望这是由一个能解释自己思考过程的人发现的，我也想跟推翻 ETH 的那个人（真正地）握个手"。三人目前正协助筹组独立审查团队，旨在检验两家公司的主张，确保学术严谨性。