标签

量子计算

帖子 1阅读 18

帖子数

1

阅读量

18

昨天发布18次阅读

未公开的 Anthropic 模型 3 天证出 18 年量子猜想，Lean 逐行验算全部通过

AI快讯 11 月 6 日，美国 AI 物理实验室 PSI（Physical Superintelligence）宣布，其内部研发的研究系统运行未公开的 Anthropic 模型，找到了 Aaronson–Ambainis 猜想的证明。这个由 Scott Aaronson 与 Andris Ambainis 在 2008 年提出的量子复杂性理论核心问题，悬...