ETH被证伪的影响:理论计算机科学的重大转变
随着OpenAI和Anthropic于2023年10月26日几乎同时发布的研究成果,计算机科学界面临了一次前所未有的挑战。两家公司宣布其人工智能(AI)模型成功推翻了长期以来在理论计算机科学领域被视为基石的“指数时间假设”(ETH)。该假设自1999年由计算机科学家Impagliazzo和Paturi提出以来,已深深植根于众多研究之中,成为数百篇学术论文的理论基础。
首先,ETH声称,对于诸如3-SAT等NP完全问题,其求解时间将随着变量数量的增加呈指数级增长,特别是当变量数n达到100时,所需的计算时间可称为“天文数字”。换言之,ETH的核心思想是解决相关问题需耗费的时间不低于2的n次方次方。然而,OpenAI和Anthropic分别提出其新算法,宣称求解3-SAT问题所需时间可减少至2的O(n/√log n)次方和2的O(n·log log n / √log n)次方。这两者均代表了亚指数时间复杂度的突破。
其次,这一发现不仅质疑了ETH的正确性,还引发了对SETH、Gap-ETH及NSETH等相关假设的重新审视,意味着该成果打破的其实是计算复杂性理论中的“承重墙”。当AI以如此高的效率解决原本认为难以应对的问题时,这一现象的意义不言而喻。 熊猫体育APP
此外,更令人震惊的是,AI在此过程中的独立性。OpenAI声称,其模型于10月16日自主找到了ETH的自然语言反证,随即在Lean证明助手中实现了形式化验证,整个过程几乎无人干预。Anthropic的声明同样强调了由其模型Claude独立设计的确定性算法,显著说明了AI在科研领域所扮演的日益重要的自主角色。
该领域的重构可能对学术界产生深远影响。首先,已有的几百篇基于ETH的论文将面临前提被推翻的挑战,许多结论需要重新审视。其次,密码学的安全性依赖于某些问题的难度假设,ETH的被证伪将促使对现有加密算法的安全评估体系进行全面再审。而在长远看来,这一发现可能为优化问题、数据库查询及AI模型训练提供全新的路径和加速空间。
综上所述,ETH的被证伪标志着计算机科学的基础正在重新定义,AI的角色亦从辅助工具向独立发现者转变。虽然这一成果并不意味着所有复杂问题将获得即时解答,但它显著降低了问题的难度下限,指向了未来更宽广的研究可能性。研究表明,新的计算能力与理论的结合,将推动科学研究的进步。 熊猫体育APP