PSI用AI驱动科学发现创业，解决18年量子计算难题
原标题：PSI is trying to make a business out of AI-driven scientific discovery
AI 摘要
MIT毕业生David Turturean利用Anthropic的Fable 5.2模型早期访问权限，解决了困扰量子计算领域18年的Aaronson-Ambainis猜想，该证明经Lean自动形式化验证。PSI公司CEO Matt Pines表示，公司通过专用模型工具链和脚手架系统解决科学问题，目前收入来自数据中心优化，长期目标是将理论物理突破转化为技术。此事反映了AI在数学和计算机科学领域的问题求解能力正在重塑科学研究范式。
正文节选
David Turturean, a recent MIT graduate and a member of the technical staff at the startup lab Physical Superintelligence (PSI), used early access to Anthropic’s Fable 5.2 model to solve an eighteen-year-old problem about quantum computing. “I’m totally accepting the idea that this might be the last paper I ever put out,” Turturean, who deferred plans to pursue a master’s at MIT’s prestigious computer science and AI lab to join PSI, told TechCrunch. “In a few months, like, why would you even put