OpenAI AI挑战计算机科学基石：证伪指数时间假设引发学术震荡

OpenAI近日披露，其内部未发布的人工智能模型发现了一种方法，可证伪计算机科学中的关键猜想——指数时间假设（Exponential Time Hypothesis，简称ETH）。这一声明在科技与学术圈掀起波澜，部分用户误将其中的“ETH”理解为以太坊加密货币，实则二者毫无关联。

ETH：计算机科学中的核心假设

指数时间假设由Russell Impagliazzo、Ramamohan Paturi与Francis Zane于1999年提出，核心观点是：某些逻辑问题（如3-SAT）在最坏情况下无法在多项式时间内求解。该假设长期被用于判断图论、数据库优化和生物信息学中若干难题是否具备高效算法的可行性，被视为研究领域的“基准线”。

OpenAI的研究团队声称，其AI模型构建出一种确定性算法，能在次指数时间内完成3-SAT问题所有解的统计，这意味着问题的计算成本增长速度远低于原有预期。这一突破若成立，将动摇大量基于ETH推导的结论基础。

公司在官方博客中表示：“对ETH的质疑重新定义了我们对计算极限的认知，并可能引导更高效的算法设计方向。”

学术界启动独立审查机制

OpenAI于2023年10月17日首次发布一篇67页论文，随后于10月25日更新。据称，该模型于10月16日识别出反例，并通过Lean证明系统完成形式化验证。相关代码与手稿已开源至GitHub，供全球学者审阅。

包括原提出者Impagliazzo与Paturi，以及麻省理工学院的Ryan Williams在内的三位权威科学家，目前正进行独立评估。他们在公开信中强调，参与审查不代表认可结果，且必须确保研究过程可复现、可质疑，以维护学术严谨性。

OpenAI也明确指出，该成果虽具理论意义，但尚未改变现实世界中大多数NP问题的求解难度。著名的P与NP问题仍未解决，即仍无法确认是否存在能快速求解所有可验证问题的算法。

Anthropic跟进，双巨头共探数学边界

紧随其后，另一家AI企业Anthropic于10月26日宣布，其Claude模型同样发现了一种新的3-SAT求解路径，实现对ETH的理论性反驳。但该公司强调，当前成果仅停留在理论层面，短期内不会影响实际应用。

此次事件标志着以OpenAI与Anthropic为代表的头部人工智能机构，正加速进入数学与理论计算机科学的核心领域。双方均展示出利用大模型探索未知定理的能力，推动“AI辅助科研”进入新阶段。

此外，OpenAI还向西蒙斯基金会捐赠500万美元，支持数学与人工智能交叉研究项目，包括举办研讨会、资助专项课题，旨在建立可持续的验证与拓展体系。