一个未公开的 Anthropic 模型证明了 2008 年以来的量子猜想，至少跑它的公司这么说
三天。Physical Superintelligence 说，自家内部研究系统用这么长时间，就拿到了 Aaronson-Ambainis 猜想的完整证明。这是一个 2008 年提出、关于量子加速的公开问题。系统跑在 PSI 自己的基础设施上，用的是一个未公开的 Anthropic 模型，证明助手 Lean 接受了结果。之后 PSI 让系统继续做相关问题，它顺手又把界改进了两次。
说白了，Shor 算法快得惊人，是因为输入里藏着规律。一直没解决的问题是：输入随机、没有这种结构的时候，量子计算机还能不能快上指数级？Aaronson 和 Ambainis 把它转化成一个关于多项式的命题：一定有某个比特影响力够大，至少是方差除以次数的某个固定幂。PSI 证出的界约为 0.0025 乘以 v 的 5/2 次方，再除以 d 的 6 次方。结论是，在是非题上，按读取输入的次数算，没有罕见规律就省不出指数级。范围就这么大。它不涉及因数分解，也不是在说量子计算整体不行，现在不少兴奋的说法都没分清这点。
再看证据，这种说法正需要分层。Lean 检查通过，分量很重。但 Lean 没法告诉你，形式化的命题是不是大家关心的那个猜想，这要靠人。目前人的这一层，全部来自 PSI 自己的页面：David Turturean 主导工作并对论文正确性负责，Jim Halverson 做了审核，8 月证出特殊情况的斯坦福 Blanc、Docter、Strassle 和 Tan 被引用说这是 "a huge result"。这句评价我们只能经由 PSI 看到。同行评审没找到，Anthropic、Aaronson、Ambainis 的回应也没找到。模型没有名字，X 上的猜测都只是猜测。
时机让它更响。METR 的 Anthropic 报告出来第二天，Ajeya Cotra 发文认为，这份报告说明 Anthropic 的 "dramatic acceleration" 门槛已经跨过去了；在一个简单模型下，整体进度翻倍，意味着研究员的劳动力可能放大 4 到 9 倍。Cotra 在 METR 工作，但没参与这份报告，没看过未涂黑版本，也声明这是个人观点。这个论证建立在公众查不了的证据上。
所以这份证明是个奇特而有用的对照。METR 的结论靠的是涂黑的数据，PSI 的结论最终可以让任何人用机器复核。模型还是保密的，产出却能验证，这比绝大多数能力宣称的处境都好。证明说明：https://psi.inc/research/aaronson-ambainis/ Cotra 的文章：https://www.planned-obsolescence.org/p/ai-is-dramatically-accelerating-ai 我们的 METR 报道：https://clauday.com/zh/article/881e023d-a93e-4bb9-9f35-899ff87524c1
← 返回所有文章
说白了，Shor 算法快得惊人，是因为输入里藏着规律。一直没解决的问题是：输入随机、没有这种结构的时候，量子计算机还能不能快上指数级？Aaronson 和 Ambainis 把它转化成一个关于多项式的命题：一定有某个比特影响力够大，至少是方差除以次数的某个固定幂。PSI 证出的界约为 0.0025 乘以 v 的 5/2 次方，再除以 d 的 6 次方。结论是，在是非题上，按读取输入的次数算，没有罕见规律就省不出指数级。范围就这么大。它不涉及因数分解，也不是在说量子计算整体不行，现在不少兴奋的说法都没分清这点。
再看证据，这种说法正需要分层。Lean 检查通过，分量很重。但 Lean 没法告诉你，形式化的命题是不是大家关心的那个猜想，这要靠人。目前人的这一层，全部来自 PSI 自己的页面：David Turturean 主导工作并对论文正确性负责，Jim Halverson 做了审核，8 月证出特殊情况的斯坦福 Blanc、Docter、Strassle 和 Tan 被引用说这是 "a huge result"。这句评价我们只能经由 PSI 看到。同行评审没找到，Anthropic、Aaronson、Ambainis 的回应也没找到。模型没有名字，X 上的猜测都只是猜测。
时机让它更响。METR 的 Anthropic 报告出来第二天，Ajeya Cotra 发文认为，这份报告说明 Anthropic 的 "dramatic acceleration" 门槛已经跨过去了；在一个简单模型下，整体进度翻倍，意味着研究员的劳动力可能放大 4 到 9 倍。Cotra 在 METR 工作，但没参与这份报告，没看过未涂黑版本，也声明这是个人观点。这个论证建立在公众查不了的证据上。
所以这份证明是个奇特而有用的对照。METR 的结论靠的是涂黑的数据，PSI 的结论最终可以让任何人用机器复核。模型还是保密的，产出却能验证，这比绝大多数能力宣称的处境都好。证明说明：https://psi.inc/research/aaronson-ambainis/ Cotra 的文章：https://www.planned-obsolescence.org/p/ai-is-dramatically-accelerating-ai 我们的 METR 报道：https://clauday.com/zh/article/881e023d-a93e-4bb9-9f35-899ff87524c1
评论