Physical Superintelligence

初创实验室 Physical Superintelligence（PSI）利用 Anthropic Fable 5.2 模型的早期访问权限，解决了悬置 18 年的 Aaronson-Ambainis 量子计算猜想，并试图将 AI 驱动的科学发现做成一项生意。该证明经 Lean 自动形式化并由顶尖研究者复核，被视为 AI 直接产出前沿数学成果的标志性案例。

AI for Science 初创公司 Physical Superintelligence 利用内部研究系统（运行非公开的 Anthropic 模型）在三天内为 Scott Aaronson 与 Andris Ambainis 自 2008 年悬而未决的量子计算加速猜想找到了完整证明，并经 Lean 证明助手验证。这是 AI 系统自主扩展人类知识边界的标志性案例，也预示合成研究者产出速度将超越人类理解速度。