// AI 新闻 · 2026-11-11 · TechCrunch AI

PSI利用AI模型解决量子计算长期难题

Physical Superintelligence (PSI) 利用获得早期访问权限的Anthropic Fable 5.2模型，解决了量子计算领域持续近二十年的Aaronson-Ambainis猜想问题。该成果由MIT毕业生David Turturean在技术团队支持下完成，其证明通过Lean数学语言自动形式化，并被多位顶尖研究人员验证。此结果表明量子计算机在特定问题上无法实现超越经典计算的效率，关闭了其中一条可能的发展路径。

阅读原文（TechCrunch AI）↗

原文发布 2026-11-11 03:03（北京时间）来源 TechCrunch AI自动整理 · 已核对原文

01摘要

PSI认为，科学发现正经历AI驱动的深刻变革，其核心在于构建专用模型与工具系统，以支持广泛而深入的问题探索。目前公司收入来自数据中心性能优化模拟，涵盖热、电、水、声等物理变量。长期目标是将理论物理突破转化为实际技术，强调AI提出假设后需通过实验验证，形成可落地的科学闭环。研究团队在成果发布前与相关专家沟通，以确保透明性和学术规范，同时意识到AI生成结果对人类解释能力带来的挑战。

由开源模型根据原文自动整理，经数字/专名逐项核对（必须在原文中出现），以原文为准。

02要点

PSI使用Anthropic Fable 5.2模型解决了量子计算领域持续18年的Aaronson-Ambainis猜想问题。
该成果经Lean语言形式化并由顶尖研究人员验证，表明特定量子算法无法实现超越经典计算的效率。
公司通过模拟数据中心物理变量获取收入，长期目标是将理论物理突破转化为实际技术。
AI生成结果需经实验验证，PSI强调科学发现需在真实世界中落地并形成可验证的闭环。

03原文出处

PSI is trying to make a business out of AI-driven scientific discovery

TechCrunch AI · 发布于 2026-11-11 03:03（北京时间） · 上方为原标题

另有 1 家报道

AI Times Korea ↗

05相关新闻

出自智图 AI 新闻：从 1100 多个官方与媒体信源采集。摘要只转述原文内容，详情请看原文。 2026-11-11 全部新闻 · 按日期归档 · 全部 AI 新闻 · 今日

01摘要

02要点

03原文出处

04站内相关

05相关新闻