全世界搞加密安全的人,心里可能都咯噔了一下。他们过去二十多年赖以定标的那把尺子,被两家做聊天机器人的公司宣称压弯了。2026年10月底,OpenAI公布了三项数学难题解答,其中一项直指计算机科学里著名的指数时间假说(ETH,判断最棘手的逻辑谜题到底要算多久才算安全的一项基础理论),声称其AI模型找到了亚指数时间的求解路径。几个小时后,Anthropic的数学家Levent Alpoge先是指出OpenAI的解答建立在已有研究之上,紧接着也甩出了自己对ETH的反驳结果。事情从一场数学秀,迅速滑向了两家头部实验室对台下学术裁判席的轮流叫板。
这个局面的滑稽之处在于,ETH的提出者、加州大学圣地亚哥分校的两位计算机科学家Russell Impagliazzo和Ramamohan Paturi,在1999年埋下这块地基时,想的是给计算难度划一条下界:像3-SAT这种逻辑谜题——每条约束由至多三个变量或其否定组成,要判断它们能不能同时满足——甭管拿什么机器来跑,变量一多,求解时间就得指数级地往上蹿,蹿到破解失去实际意义。今天OpenAI和Ant...