AIが18年未解決の物理学難問を証明、量子コンピュータの「高速化の限界」が明らかに

AIがわずか3日で導き出した量子計算の限界と数学的証明の全貌

　2026年11月、研究機関Physical Superintelligenceの技術スタッフであるDavid Turturean氏が主導するチームは、2008年に提起されて以来未解決だったアーロンソン・アンバイニス予想の証明を公開した。この予想は計算複雑性理論における重要な未解決問題であり、量子コンピュータが古典コンピュータに対してどの程度の優位性を持つかを数学的に決定づけるものとして知られていた。

　今回の証明過程における最大の特徴は、独自の自動研究システムと高度なAI推論モデル、そして論理検証エンジンを組み合わせた点にある。研究チームは詳細が公開されていないAnthropicのAIモデルを実行し、システム稼働開始からわずか3日で証明の全体像を導き出した。さらに、定理証明支援系であるLean 4を用いて648にのぼるすべての論理ステップの形式的妥当性を機械的に検証し、数学的な正しさを担保している。証明はシステムによって自律的に2度の改善が加えられ、最終的なプレプリントとして公開された。

　証明されたアーロンソン・アンバイニス予想の核心は、一様ランダムに選ばれた無構造な入力データに対する決定問題において、量子アルゴリズムを多項式個のクエリで古典的に模倣できるという数学的構造の解明にある。量子アルゴリズムの受理確率は有界な低次多項式としてモデル化できるが、AIシステムは従来の証明手法の壁を突破するため、両側証明書と影響度に関する新たな不等式を独自に考案して直接証明することに成功した。これにより、無構造なデータに対して量子コンピュータが古典コンピュータを指数関数的に上回る高速化を達成することは、査読前ではあるが不可能であると特定した。

　この成果は人間の関与なしにAIだけで達成されたわけではない。研究者が問題の範囲を定め、物理学者や理論計算機科学者が証明結果を監査するという人間とAIの協調プロセスが不可欠であった。一方で、量子計算の限界が数学的に証明されたという事実は、一部の言説において量子コンピュータの優位性そのものが否定されたかのような解釈を呼んでいる。果たしてこの証明は、産業界の量子アルゴリズム実用化や投資の方向性にどのような波及効果をもたらすのだろうか。次ページでは、理論的限界の真意とAI主導の科学研究がもたらすパラダイムシフトの全貌について深掘りしていく。