据 TechCrunch 报道，PSI 借助 Anthropic Fable 5.2 解开量子计算旧难题

据 TechCrunch 报道，初创实验室 Physical Superintelligence（PSI）借助 Anthropic 的早期访问模型 Fable 5.2，解决了困扰量子计算领域 18 年的 Aaronson-Ambainis 猜想。参与者 David Turturean 表示，这项证明经 Lean 自动形式化，并由相关研究者审阅。Scott Aaronson 说他认为结果大体正确，但这只是排除了量子计算的一条加速路径。PSI 还把相关系统用于数据中心优化。