AI 初创用非公开 Claude 模型证明量子计算猜想
AI for Science 初创公司 Physical Superintelligence 利用内部研究系统（运行非公开的 Anthropic 模型）在三天内为 Scott Aaronson 与 Andris Ambainis 自 2008 年悬而未决的量子计算加速猜想找到了完整证明，并经 Lean 证明助手验证。这是 AI 系统自主扩展人类知识边界的标志性案例，也预示合成研究者产出速度将超越人类理解速度。
报道正文
欢迎来到 Import AI，一份关于 AI 研究的通讯。Import AI 依靠 arXiv、卡布奇诺和读者的反馈运转。如果你想支持它，请订阅。 AI 科学初创公司将一个量子猜想转化为定理：*……一次令人遐想的奇点初体验……*就像几年前，看到计算机获得识别图像中物体的能力，从令人惊叹变为司空见惯一样，我们现在正处于一个时代：计算机拓展人类知识边界，也正迅速从令人惊叹变为司空见惯。 最新的例子来自 Physical Superintelligence，一家 AI 科学初创公司，它证明了一个长期存在的量子计算猜想。
他们做了什么：“Scott Aaronson 和 Andris Ambainis 的猜想自 2008 年提出以来一直悬而未决，该猜想涉及量子计算机何时能比普通计算机快指数级。现在，Physical Superintelligence（PSI）内部开发的一个研究系统，运行着一个非公开的 Anthropic 模型，找到了它的证明，解决了量子计算中最基本的问题之一，”这家初创公司写道。“该系统在运行的第三天就得到了该猜想的完整证明，而 Lean——一个由计算机检查每一步的证明助手——接受了它。然后我们让系统着手处理相关的开放问题。在此过程中，系统两次改进了结果，Lean 接受了最终版本。”
为什么这很重要——我们正处于奇点之中：正如我在 IMF 演讲中所说（#477），我相信我们正处于奇点的早期阶段，奇点定义为技术和科学进步的速度超过我们人类能够解析和理解的速度的时期。像这样的研究就是对这意味着什么的一次体验；主要是自动化的合成研究人员在拓展知识前沿，输出结果，然后需要人类来理解。