一句话看懂：MIT毕业生David Turturean在初创实验室PSI用Anthropic早期访问的Fable 5.2模型，解开了悬置18年的Aaronson-Ambainis猜想；PSI想证明，把大模型配上专业工具链来做科学研究，本身就是一门可收费的生意。
事件核心：发生了什么
据TechCrunch 2026年11月10日报道，PSI技术人员Turturean借助Fable 5.2的早期访问权给出了该猜想的证明。该猜想讨论量子计算机能否在某些问题上比经典计算机更快。提出者之一、量子计算学者Scott Aaronson表示自己并未完全看懂证明，但因为结果在Lean中完成了自动形式化，并经PSI分享给的一组顶尖研究者解释后，他相信其正确。Turturean也坦言，这可能成为他最后一篇论文。
这项结论属于“负面结果”：它关掉了一条量子计算机加速求解特定难题的路径，而非否定全部可能性。目前公开信息显示，证明尚处于研究者传播和讨论阶段，并非已发表的同行评审成果。
商业化上，PSI当前收入来自用工具优化数据中心，模拟热、电力、水、声音等变量；长期目标是把它所说的理论物理突破转化为真实技术。
为什么重要
它的价值不只在一条公式，而在方法：PSI强调专用模型外壳、工具、记忆系统和仿真基础设施的组合，而非单纯依赖模型能力。Aaronson也提到，该问题未出现在OpenAI此前的数学成果集中，侧面说明“会做数学”和“能系统攻克科研难题”之间仍有距离。
这也暴露了新问题：AI给出的结果如何验证、如何透明披露、学术界按什么标准接受。PSI因等待模型发布而有机会先与专家沟通，其顾问、东北大学教授Jim Halverson称“最佳实践仍在形成中”。
对用户/开发者/创作者的影响
对开发者而言，信号是竞争重心可能从模型本身转向“模型+工具+验证”的工程化系统，科学计算类应用尤其如此。对研究者和内容创作者，AI生成的证明需要可形式化、可复现，人类解释仍是成果被接受的前提。对投资判断，PSI的收入仍集中在数据中心优化，理论物理转技术尚未验证，目前公开信息不足以评估其规模化前景。
值得关注的后续
一是该证明能否通过正式同行评审并在Lean中公开复核；二是PSI的数据中心业务能否支撑其长期研发投入；三是生命科学、物理等难以编码验证的领域，AI辅助发现能否出现可复现的案例。
