PSI 想把 AI 驱动的科学发现做成一门生意

MIT 毕业生、Physical Superintelligence（PSI）成员 David Turturean 借 Anthropic Fable 5.2 模型的早期使用权，解决了悬置 18 年的量子计算难题 Aaronson-Ambainis 猜想，证明经 Lean 自动形式化验证。