PSI用AI攻克18年量子计算猜想并探索商业化路径

2026-11-11 · 4 分钟阅读

麻省理工学院应届毕业生David Turturean利用对Anthropic Fable 5.2模型的早期访问权限，解决了困扰学界18年的量子计算问题Aaronson-Ambainis猜想。该证明已在Lean中完成自动形式化，并经由顶尖研究者团队解释。提出者Scott Aaronson表示自己并不完全理解证明，但相信其正确，并称这是量子查询复杂性领域最后几个悬而未决的问题之一。该否定性结果堵死了量子计算机高速解决某些难题的一条可能途径。PSI称其思路是用专门的模型运行框架和脚手架解决科学问题，目前收入来自用工具优化数据中心，长远目标是将理论物理突破转化为实际技术。CEO Matt Pines表示，物理学不同于数学，因为大自然对现实模型有否决权。