AI攻下量子计算猜想 PSI押注科学发现

AI 正在啃下科学研究最硬的骨头。以 AI 驱动科学发现为方向的创业公司 PSI 宣布，其系统解决了量子计算领域悬置多年的重要问题——Aaronson-Ambainis 猜想，这是量子查询复杂度领域公认的最后一个核心开放问题之一。

该猜想关乎量子计算机能否在特定问题上比经典计算机更快求解。证明由 Anthropic 的模型完成，并已用数学证明语言 Lean 自动形式化。猜想提出者之一的 Scott Aaronson 坦言自己没有完全读懂证明，但由于形式化验证通过、且 PSI 组织顶尖研究者为他做了讲解，他相信结果是正确的，并称自己「满足、敬畏、失望又疲惫」。

团队成员 David Turturean 的感受颇具代表性：他刚从 MIT 毕业，为加入 PSI 推迟了继续深造的计划。他说自己已经接受「这可能是此生最后一篇论文」——几个月后，还有谁会去写论文？

PSI 的路线不是通用大模型硬刚，而是用专用模型框架（harness）和脚手架攻坚具体科学问题，配套工具、记忆系统与仿真基础设施。CEO Matt Pines 表示，理论物理「大部分由机器完成」的时代还没到，但正在路上，而 AI 给出的结果最终要靠实验来验证，因为「自然界会对你的模型投票」。

商业上，PSI 目前靠同一套物理仿真工具优化数据中心选址的热、供电、水与噪声等变量；长期目标是把 AI 产出的理论物理突破转化为可制造的器件。

这一成果也暴露出学界准则的空白：东北大学教授、PSI 顾问 Jim Halverson 下周将出席 MIT 的峰会，与物理学家们商讨如何应对「AI 节奏」的科学。透明公开、主动联系领域专家，是 PSI 主动立下的规矩——在机器开始批量产出成果之前，同行评议的秩序需要先跟上。

编译自 TechCrunch，原标题："PSI is trying to make a business out of AI-driven scientific discovery"