PSI 成员用 Anthropic AI 求解并验证 Aaronson-Ambainis 猜想

创业实验室 Physical Superintelligence（PSI）成员、MIT 毕业生 David Turturean 借 Anthropic Fable 5.2 模型的早期使用权，解出了悬置 18 年的量子计算难题 Aaronson-Ambainis 猜想，证明经 Lean 自动形式化验证。 提出该猜想的 Scott Aaronson 表示自己并未完全理解证明，但因证明已在 Lean 中自动形式化、并经 PSI 分享给的顶尖研究团队讲解，他相信其正确。报道称这一结果看似封堵了量子计算机高速求解某些难题的一条途径，但并非全部途径。

AI 根据报道生成 · 1 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。