PSI宣称AI系统三日内证明Aaronson-Ambainis猜想

1. 10:09
   Interesting Engineering精选

   PSI称其研究系统三天完成Aaronson-Ambainis猜想证明

   物理研究公司PSI称其研究系统在三天内完成了2008年提出的Aaronson-Ambainis猜想的证明，该猜想涉及量子算法在何种条件下可被经典计算机高效模拟。PSI表示系统使用了Anthropic的一个非公开模型，运行在公司自有基础设施上，产出的数学证明被形式化验证软件Lean接受，随后又改进了两次。不过该结果尚未经过完整的独立学术评审，Stanford的研究人员正在审查相关工作。

当前热度 9·可比范围峰值 10（11月7日 11:00）·近 24 小时可比范围变化 –

趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。