PSI称借助Anthropic未发布模型证明Aaronson–Ambainis猜想
动察 Beating AI 转引 PSI 说法称，一款尚未发布的 Anthropic 模型完成并经 Lean 检查的 Aaronson–Ambainis 猜想证明。Scott Aaronson称该结果不否定量子计算的实际速度优势。
Loading…
bibibi.ccbibibi.ccLoading…
Connect scattered updates into a story you can understand.
动察 Beating AI 转引 PSI 说法称，一款尚未发布的 Anthropic 模型完成并经 Lean 检查的 Aaronson–Ambainis 猜想证明。Scott Aaronson称该结果不否定量子计算的实际速度优势。
OpenAI said that its AI model had achieved three breakthroughs in mathematics, computer science, and physics; some results had been formally verified, while the physics proof was still under expert review. The relevant conclusions still await independent confirmation by the academic community.