PSI 尝试将 AI 驱动的科学发现做成生意

核心事实

据 TechCrunch 报道，初创实验室 Physical Superintelligence（PSI）正尝试把 AI 驱动的科学发现做成一项生意。该实验室技术团队成员、麻省理工学院毕业生 David Turturean 借助对 Anthropic 旗下 Fable 5.2 模型的早期访问权限，解决了一个悬置 18 年、与量子计算有关的问题，即 Aaronson-Ambainis 猜想。该猜想涉及量子计算机能否比经典计算机更快求解问题。提出该问题的研究者之一 Scott Aaronson 表示，他并未完全理解这一证明，但相信其正确，原因是该证明已在数学编程语言 Lean 中完成自动形式化，并由 PSI 分享给的一个顶尖研究者团队作出解释。

背景与影响

据该报道，这一结果堵上了量子计算机高速求解某类难题的一条可能路径，但并非全部路径。Turturean 称这是一个「负面结果」，让人知道不必再朝那个方向找。PSI 首席执行官 Matt Pines 表示，有效的研究系统应包含大量与 harness、工具、记忆系统、仿真基础设施相关的内容，以便在广度和深度上推进问题。目前公司收入来自用其工具优化数据中心，模拟热、电、水、声等变量。Pines 称，长期目标是让理论物理突破转化为实际技术，但他也承认这一目标尚未实现。报道同时指出，AI 在数学、计算机科学等可用经验证代码表达的领域已取得重要成果，在生命科学、物理等抽象程度较低的学科则更困难。

限制与来源

上述内容来自 TechCrunch 的报道，涉及模型能力、公司收入来源与业务规划的描述均为当事方说法，尚未获独立验证。PSI 的工具可用范围、定价与合作方式等细节未在素材中披露，请以该公司官网当前信息为准。报道提到，相关学术规范仍在形成中，有研究者计划在麻省理工学院举行的峰会上讨论如何回应科学研究的新节奏。