Event ·Multi-source

PSI 称其系统用 Anthropic 未公开模型证明 Aaronson-Ambainis 猜想

Physical Superintelligence（PSI）宣布其研究系统借助一个非公开的 Anthropic 模型，证明了量子计算领域悬置 17 年的 Aaronson-Ambainis 猜想。该猜想自 2008 年提出，与量子计算机何时能对经典计算机取得指数级优势这一问题相关。PSI 表示系统在第三天找到完整证明，最终版本通过了 Lean 形式化验证。

Current read

PSI 用 Anthropic 未公开模型证明了 2008 年悬置至今的量子计算猜想，还过了 Lean 验证，搞研究的朋友可以看看他们怎么做的。

9 sources84° AI heatLast updated 2026/11/6 16:01:28

Evidence

9 sources

Primary sourcekimmonismus

2026/11/6 16:01:28View source

Related source 1Anthropic

2026/11/4 20:11:28View source

Related source 2rohanpaul_ai

2026/11/4 21:10:41View source

Related source 3IT之家

2026/11/5 00:44:46View source

Related source 4宝玉

2026/11/5 07:24:41View source

Related source 5METR

2026/11/5 18:36:37View source

Related source 6Thomas Wolf

2026/11/5 23:05:22View source

Related source 7VnExpress Số hóa

2026/11/6 02:00:00View source

Related source 8The Information

2026/11/6 17:00:52View source

Conflict check

Dedup data only shows that these sources discuss the same event, not that they agree. There is no structured supporting or refuting evidence yet, so no conflict is inferred automatically.

Open the story