PSI 尝试用 AI 驱动科学发现做成生意，MIT 毕业生借 Fable 5.2 解决十八年量子计算难题

TechCrunch 报道创业实验室 PSI 正尝试把 AI 驱动的科学发现做成生意。MIT 毕业生 David Turturean 借助 Anthropic Fable 5.2 模型的早期访问权限，解决了十八年未解的量子计算问题 Aaronson-Ambainis 猜想，证明已用 Lean 自动形式化，猜想提出者 Scott Aaronson 表示相信其正确。