计算机科学巨变：AI模型挑战长期理论假设
10月26日，计算机理论界震动不已。全球顶尖的AI公司OpenAI和Anthropic几乎在同一天宣布其AI模型否定了计算机科学的“铁律”——指数时间假设（ETH），这一结论在计算机科学界持续了27年。更令人震惊的是，Anthropic的研究表明其核心算法由AI模型Claude独立生成，无需人类干预。这意味着人类专家花费数十年未能动摇的基础，竟被AI在短短几天内推翻。
ETH，这一假设由计算机科学家Impagliazzo和Paturi于1999年提出，指出解决某些NP完全问题的时间需求随着变量数量的增加呈指数级增长，甚至极大规模问题的计算时间超出了宇宙可提供的资源。此假设在接下来的27年里被广泛接受，众多学术研究均以此为前提，犹如物理学中的万有引力定律。
OpenAI和Anthropic各自开发出的算法，颠覆了这种传统观点。他们证明，对于最坏情况下的3-SAT问题，所需时间不再是指数级的，而是显著减少。具体来说，OpenAI展示了只需2的O(n/√log n)次方的计算时间，Anthropic则提出更强的结果，即2的O(n·log log n / √log n)次方，且涉及到更复杂的#3-SAT问题。这一突破被称为“亚指数时间”，意味着原本认为的难度下限并不成立。 新球体育
此次成果不仅推翻了ETH，还波及到相关的多个假设，整块计算复杂度的理论结构面临动摇。更为令人关注的是，这一突破并非来自知名科学家的长期研究，而是AI独立完成，展现出前所未有的能力。
短期内，学术界将不得不重新审视以ETH为基础的众多研究，许多结论可能面临挑战。中期来看，当前依赖于“某些问题难以计算”假设的密码学领域将受到冲击，很多加密算法的安全性或需重新评估。长期来看，诸如优化问题和数据库查询等领域，可能会因此产生新的解决方案。
然而，ETH的证伪并不意味着所有计算难题都能轻易解决，只是为难度的下限设定了新的标杆。人工智能的进步正在重新定义科学探索的边界，成为基础科学发展的重要力量。 新球体育