IBMは70個の論理量子ビットで何を証明したのか
IBMとシカゴ大学は2026年7月30日、70個の論理量子ビットを用いた計算で、古典コンピュータでは実行困難な問題を約15分で解き、計算結果の信頼性を統計的に保証できることを発表した。量子優位性の主張にとどまらず「検証可能性」を組み込んだ点が今回の実験の核心であり、量子計算が「動く」段階から「信頼できる」段階へ移行しつつあることを示している。
2026年7月30日、IBMとシカゴ大学の研究チームは、論理回路による信頼できる量子計算の実証を発表した。同日に公開された査読前の論文「Sampling hard circuits with verifiably high fidelity」では、エラー訂正を施した70個の論理量子ビットを用い、最先端の古典シミュレーション手法では現実的な時間内に解けない問題を約15分で計算したと報告されている。
量子優位性の「証明」に残されていた穴
量子計算の性能を測るベンチマークとして、これまで乱数回路サンプリング（RCS）が広く使われてきた。RCSは、量子コンピュータに古典計算では効率的に再現できないほど複雑なパターンを生成させる手法だ。しかし問題は検証にある。計算が難しくなるほど、量子コンピュータの答えが正しいことを、装置の内部動作に関する強い仮定を置かずに証明することが困難になる。
IBMとシカゴ大学のチームは、RCSと同等の計算困難性を保ちながら、計算中にエラーを検出できる構造化された代替手法を開発した。シカゴ大学のBill Fefferman准教授は「検証は実験的な量子優位性を確立する上で最大の課題の一つであり続けてきた。この実験は、ノイズ下で難しい量子状態の忠実度をより良く特徴づける技術を発展させ、量子コンピュータが計算困難な問題を解いているという確信を高める」と述べている。つまり今回の進展は「速い」ことではなく、結果が正しいと主張する根拠を計算自身の内部に持たせた点にある。
70個の論理量子ビットと2,415回の論理演算
実験の規模は、エラー訂正の実証としては世界最大級とされている。研究チームは70個の論理量子ビットをエラーから保護した状態で、2,415回の論理2量子ビット演算と468回の論理Tゲートを実行した。いずれも回路の複雑さを測る指標だ。回路がエンコードされていたことで、有効な論理エラー率は物理エラー率の10分の1に抑えられ、多数のゲートを含む回路でも高い忠実度を維持できたと報告されている。
ここで整理しておきたい。論理量子ビットとは、複数の物理量子ビットをまとめてエラー訂正を施した仮想的な量子ビットであり、実用に足る量子計算の前提条件とされてきた。物理量子ビットの個数を増やすだけでは、エラーの機会も増える。エラー訂正が機能する物理エラー率の境界を「しきい値」と呼ぶ。Googleは105量子ビットの超伝導プロセッサWillowを用いて、表面符号の格子を3×3から5×5、7×7へ拡大するたびに符号化されたエラー率が約2分の1に低下する、という指数的エラー抑制を公式に報告している。格子を大きくすればエラー率が下がる、つまり「しきい値を下回った」状態の実証であり、約30年間の目標が達成された。IBMの今回の成果は、この原理を大規模な論理回路の実行へとつなげたものと位置づけられる。
「主張」として読むべき部分と、事実として読める部分
注意すべき点もある。15分という計算時間は、あくまにより多くの古典シミュレーション手法が現実的でない実行時間を要するという比較であり、解いた問題が実用上の価値を持つわけではない。また、論文自体はarXivで公開された査読前のものであり、専門家による検証を経た段階ではない。IBMの発表は同社の主張として扱うのが正確だ。ただし、回路とその結果はQuantum Advantage Tracker上で公開されており、第三者による検証の土台は整っている。IBM ResearchのDirectorであるJay Gambetta氏は「我々は今や量子優位性の時代にしっかりと入っている」と述べているが、この種の宣言は歴史的に何度も修正されてきた経緯もあり、慎重に受け取りたい。
信頼性の担保が次の争点になる
量子計算の実用化に向けた残りの課題は、エラー訂正とその出力への信頼だ、というのが今回の成果が示す方向性である。検証手法の進展は、次世代の量子コンピュータで実用的な応用を解き放つ可能性がある、とシカゴ大学の博士課程学生Soumik Ghosh氏は指摘する。化学シミュレーションや最適化といった応用の多くは、億単位の演算を高い信頼性で実行する必要がある。演算ごとに千回に一回は失敗する現状の装置では足りず、エラー訂正のスケールと、結果を検証する仕組みの両方が前提となる。論理回路の時代に入ったと言えるかどうかは今後の再現と検証を待つべきだが、「量子コンピュータの結果をどこまで信用できるか」という問いが、性能競争と並ぶ主戦場になりつつあることは間違いなさそうだ。
