前沿AI实验室称其模型反驳了指数时间假说。这意味着什么？

AI前沿实验室最近在数学和计算机科学领域投下了一枚重磅炸弹。OpenAI公开了三道长期困扰研究者的数学难题的解答，其中一项直接挑战了计算机科学中根深蒂固的“指数时间假说”（ETH）。这个假说多年来一直是理解“什么问题算起来难”的核心基石。消息一出，科学界的反应五味杂陈——既有兴奋，也有不安。Anthropic的数学家Levent Alpöge随即指出，OpenAI的解法可能建立在已有工作之上，几小时后，Anthropic也发布了自己对ETH的反驳。不过这次OpenAI的发布方式有所变化：数学界的成果直接丢上GitHub，计算机科学家则被组织成工作组，要求公开证明并由OpenAI出资办会讨论，物理学家也成立了工作组来决定结果如何发布。 要理解这件事的分量，得先知道ETH是什么。它属于计算机科学中最著名的“P与NP”问题家族——简单说，研究者想知道：那些答案一旦给出就能快速验证的问题（NP），是否也都能被快速求解（P）？数独就是个典型例子：填好的答案一眼能验对，但从头解出来却极其耗时。密码学正是建立在这个不对称性之上。ETH则进一步断言，对某一类逻辑难题，随着变量增多，最快的算法也需要指数级增长的时间。而OpenAI和Anthropic声称，他们的模型找到了“次指数级”时间的算法，比此前认为的可能速度更快。如果成立，就等于证伪了ETH，甚至可能为P=NP打开一条路。MIT教授Ryan Williams——正是组织计算机界回应此次发现的人——对TechCrunch表示，OpenAI的证明中“有两三个看起来像外星人的部分”，正是这些部分让他觉得整个社区必须一起攻关。他此前曾批评OpenAI的做法是“对数学家的DDoS攻击”，但这次仍同意合作，与1999年首次发表ETH的两位加州大学圣地亚哥分校学者Russell Impagliazzo和Ramamohan Paturi一同解读。Williams说，每个计算机科学家或许都该对P=NP的可能性多给一点权重，尽管给多少因人而异。这件事的真正影响在于：它不仅关乎几道数学题的对错，更可能动摇整个计算复杂性理论的根基，进而波及密码学、算法设计乃至AI自身的能力边界——对跨境电商卖家和AI从业者来说，这意味着未来支撑推荐系统、物流优化和加密交易的技术底层，或许正站在一次范式转变的门槛上。