发生了什么
Physical Superintelligence（PSI）表示，David Turturean 利用 Anthropic 的 Fable 5.2 早期访问权限，解决了 Aaronson–Ambainis 猜想这一量子计算领域存在 18 年的问题。Scott Aaronson 表示，他相信这份经 Lean 自动形式化的证明是正确的，尽管他并未完全理解它；这一结果排除了量子计算机快速解决某些问题的一种可能途径。PSI 目前通过优化数据中心获得收入，并致力于将理论物理学突破转化为技术，同时探索通过实验验证计算结果的方法。
推荐理由
PSI 报告的成果为 AI 辅助证明如何改变研究方向提供了一个具体案例，而该公司目前的数据中心业务则体现了计算发现与实验应用之间的差距。