PSI 用 Anthropic Fable 5.2 求解 18 年未决的 Aaronson-Ambainis 猜想并探索 AI 科学发现商业化

TechCrunch 报道创业公司 Physical Superintelligence（PSI）成员 David Turturean 借助 Anthropic Fable 5.2 的早期访问权限解决了存在 18 年的量子计算问题 Aaronson-Ambainis 猜想，证明经 Lean 自动形式化验证，Scott Aaronson 表示相信其正确但尚未完全看懂。