PSI称借助Anthropic未发布模型证明Aaronson–Ambainis猜想
动察 Beating AI 转引 PSI 说法称，一款尚未发布的 Anthropic 模型完成并经 Lean 检查的 Aaronson–Ambainis 猜想证明。Scott Aaronson称该结果不否定量子计算的实际速度优势。
正在加载…
bibibi.ccbibibi.cc正在加载…
把分散的消息，连成可以理解的脉络。
动察 Beating AI 转引 PSI 说法称，一款尚未发布的 Anthropic 模型完成并经 Lean 检查的 Aaronson–Ambainis 猜想证明。Scott Aaronson称该结果不否定量子计算的实际速度优势。
OpenAI称其AI在数学、计算机科学和物理学领域取得三项突破，部分成果已形式化验证，物理学证明仍在专家审查中。相关结论尚待学术界独立确认。