アーロンソン＝アンバイニス予想とは何か？

2008年にスコット・アーロンソンとアンドリス・アンバイニスが提唱した予想で、量子コンピューターが古典コンピューターに対する指数的高速化を実現するには、問題に隠れた規則性や構造が必要かどうかを問うものだ。

証明はどのように検証されたか？

PSIはLean 4定理証明器を使って証明をコンピューターで検証可能な形に変換した。Leanの証明は未完成部分も新公理もなく完了し、2つの独立した検証プログラムで確認された。

PSIによると、2026年8月にこの予想の特殊ケースを解いたスタンフォード大学の研究者たちが証明を確認し、専門家向けの簡潔な要約を準備している。

大規模言語モデルヘルスケアAIGIGAZINE AI1時間前2026年11月9日 16:00

何が起きたか
Physical Superintelligenceは2026年11月6日、非公開のAnthropicモデルを組み込んだAI研究システムが3日目にアーロンソン＝アンバイニス予想の完全な証明を見つけたと発表した。
なぜ重要か
量子コンピューターが指数的高速化に隠れた規則性を必要とするかという長年の未解決問題に、確定的な答えが出る可能性を示す。ただし専門家は証明の検証が必要だと慎重だ。

誰に効くか量子コンピューターと複雑性理論の研究者が直接の受け手となる。予想は量子優位性の数学的基盤に関わるためだ。AI支援の証明システムは数学者やコンピューター科学者の関心も集める可能性がある。

質問と回答はこのページに公開されます。

こういう要約が、毎朝あなたのメールに届きます。

よくある質問

アーロンソン＝アンバイニス予想とは何か？: 2008年にスコット・アーロンソンとアンドリス・アンバイニスが提唱した予想で、量子コンピューターが古典コンピューターに対する指数的高速化を実現するには、問題に隠れた規則性や構造が必要かどうかを問うものだ。
証明はどのように検証されたか？: PSIはLean 4定理証明器を使って証明をコンピューターで検証可能な形に変換した。Leanの証明は未完成部分も新公理もなく完了し、2つの独立した検証プログラムで確認された。
誰が結果を検証しているか？: PSIによると、2026年8月にこの予想の特殊ケースを解いたスタンフォード大学の研究者たちが証明を確認し、専門家向けの簡潔な要約を準備している。