一个困扰理论计算机科学家近二十年的难题，被一套人工智能研究系统在三天之内攻克了。 11月6日，美国初创公司"物理超级智能"（简称PSI）发布消息称，其内部研发、运行着一款未公开的Anthropic模型的研究系统，找到了"阿伦森-安拜尼斯猜想"的证明。 这一猜想自2008年前后提出以来，一直是量子复杂性理论中的核心开放问题之一。 据多家科技媒体报道，系统在运行的第三天给出了完整证明，并通过了数学证明辅助软件Lean的形式化检验。 美国天体物理学家、科普作家伊森·西格尔在Big Think上撰文，解读了这一成果的意义。他的结论颇为耐人寻味：这是一个了不起的数学成就，但它对实用量子计算的影响几乎为零。 量子计算机到底快在哪里 要理解这个猜想，得先从一个根本问题说起：量子计算机究竟在什么情况下比普通计算机快？ 图中展示了许多不同计算复杂度的问题类别。最内层空间所需的可写内存量最少，而较大的空间则需要更多的可写内存才能解决。从最内层到最外层的复杂度类别示例包括对数时间、多项式时间、非确定性多项式时间和指数时间等多种时间复杂度的问题。图片