PSI 借助 Anthropic Fable 5.2 解决量子计算公开问题，并尝试把 AI 科研做成生意

初创实验室 Physical Superintelligence（PSI）的技术人员 David Turturean 借助 Anthropic Fable 5.2 的早期访问权限，解决了悬置十八年的量子计算问题 Aaronson-Ambainis 猜想；该证明在 Lean 中完成自动形式化，并交由外部研究者审阅。