PSI 想靠 AI 驱动的科学发现做成生意

PSI 技术成员 David Turturean 用 Anthropic Fable 5.2 的早期访问权限解决了困扰量子计算十八年的 Aaronson-Ambainis 猜想，该证明经 Lean 自动形式化并由专家团队解释。PSI 以专用模型 harness 与工具、记忆系统、仿真基础设施求解科学问题，目前收入来自用其工具优化数据中心，长期目标是把理论物理突破转化为实际技术。