PSI试图将AI驱动的科学发现商业化

Physical Superintelligence（PSI）是一家初创实验室，利用对Anthropic的Fable 5.2模型的早期访问权，解决了一个18年未解的量子计算开放问题——Aaronson-Ambainis猜想。麻省理工学院毕业生、PSI技术人员David Turturean主导了这项工作；该证明在Lean中自动形式化，并经过专家验证。该解决方案是一个否定性结果，排除了量子计算机实现加速的一条途径，反映了AI对科学日益增长的影响。PSI首席执行官Matt Pines解释说，公司专注于专门的模型框架、工具、记忆系统和模拟基础设施，以广度和深度攻克问题。目前，PSI通过优化数据中心产生收入，但其长期目标是将理论物理突破转化为技术。Pines指出，物理学比数学更难，因为“自然会对你的模型投票”，需要实验验证。PSI在发布前与研究人员分享了结果，顾问Jim Halverson强调透明度和专家咨询是该新兴领域的最佳实践。

(来源：TechCrunch)