Physical Superintelligence、AIがAaronson-Ambainis予想を証明と発表

なぜ重要か

この予想は、非構造化入力で量子アルゴリズムが古典を指数的に上回れる条件を問う。PSIは内部システムが実行3日目にLean検証済み証明を出し、二度改良したと述べる。形式化は公開だが、Leanの主張が印刷された予想と一致するかは読者確認が必要で、査読は未完。8月に特例を示したStanford研究者の賛辞がPSIページに引用される。Aaronson・Ambainisと外部の評価を注視。