主要来源kimmonismus
查看原文事件专题 ·多源确认
PSI 称其系统用 Anthropic 未公开模型证明 Aaronson-Ambainis 猜想
Physical Superintelligence（PSI）宣布其研究系统借助一个非公开的 Anthropic 模型，证明了量子计算领域悬置 17 年的 Aaronson-Ambainis 猜想。该猜想自 2008 年提出，与量子计算机何时能对经典计算机取得指数级优势这一问题相关。PSI 表示系统在第三天找到完整证明，最终版本通过了 Lean 形式化验证。
当前结论
PSI 用 Anthropic 未公开模型证明了 2008 年悬置至今的量子计算猜想，还过了 Lean 验证，搞研究的朋友可以看看他们怎么做的。
9 个信源84° AI 热度最后更新 2026/11/6 16:01:28
证据链
9 个信源冲突核查
现有去重数据只说明这些来源讨论同一事件，不代表立场相同。当前没有结构化的支持或反驳证据，不自动推断冲突。