Anthropicと共同で研究する研究者らは、Claude Mythos 5に量子回路を提案させ、その後、別のプログラムで提案を検証した。10月15日に提出されたプレプリントでは、回路を構築する8課題中7課題で、比較対象の設計よりもToffoliゲート数と量子ビットの最大使用数が少なかったと報告している。8つ目の素数位数の有限体におけるモジュラ逆元計算では、ゲート数と量子ビット数の間で異なるトレードオフを持つ一群の設計が得られた。

これらは提案された論理回路の推定値であり、量子コンピューターでの測定結果ではない。AIを使った設計がどこで役立つかを判断する研究者には参考になる。研究チームは、実装する関数を厳密に指定し、誤った試行を素早く排除する仕組みをモデルに与えた。BIG CHANGEは論文と、Anthropicが10月16日に公開した研究解説を確認した。私たちは探索を実行せず、リソース推定を再現せず、ハードウェア上で回路を動かしてもいない。

大きな変化

  • 何が変わったか： 評価プログラムに導かれた探索で、指定された8つの量子計算の基本処理に対する回路設計が得られた。論文は7課題でゲート数と量子ビット数の減少を報告し、モジュラ逆元計算では異なるトレードオフを示した。
  • なぜ重要か： 大規模な量子アルゴリズムは小さな処理を繰り返し呼び出す。それらの推定リソースを減らせれば、将来の実装に必要な資源も減る可能性がある。ただし、誤り訂正やハードウェアの制約と組み合わせたときにも設計が有効であることが条件だ。
  • 今後の注目点： 回路構成、明示された誤差の許容枠、ハードウェア別のリソース推定を独立に精査することで、これらのテスト課題を超えて結果がどこまで通用するかが分かる。

モデルが提案し、評価プログラムが検証する

量子回路は、通常のプログラムなら上書きできる情報も保持しなければならない。一時的な値は、それを生成した計算を逆に実行して消去する必要があり、この処理をアンコンピュテーション（uncomputation）と呼ぶ。値を保持すれば量子ビットを占有し、再計算すればゲートを消費する。論文が対象とするのは、可逆な量子演算に埋め込まれた古典関数として動作を記述できる処理だ。この限定された範囲なら、正しさの自動検証を実用的に行える。

研究者らは8課題のそれぞれについて必要な入出力の動作を記述し、空のプログラムから探索を始めた。Claudeは、回路を構築するPythonプログラムの形で複数のアルゴリズム群を提案した。別々の探索が各群を改良し、定期的に有力な候補を共有した。評価プログラムは、提出された回路が必要な出力を生成するか、入力を保持するか、一時的な量子ビットを消去するか、位相を正しく扱うかを確認した。その後、Toffoliゲート数と、同時に割り当てられる論理量子ビットの最大数を数えた。課題の仕様を満たさない候補は排除し、有効な候補は2つのリソース数の積で順位付けした。

論文はこれを、OpenEvolveとClaude Mythos 5を用いた進化的探索と呼んでいる。各反復でモデルに渡されたのは、親プログラム、フィードバック、アーカイブから選ばれた限られた数の代替案だ。評価結果を次の提案に反映した。Anthropicによると、楕円曲線の点加算を対象とした長い探索は53時間に及び、時折、人間が探索範囲を広げるよう促した。最初の仕様、課題の選択、採点基準は人間が決めた。

報告された削減効果とその条件

研究チームの8課題の結果表は、最適化アルゴリズム向けのデコーダー、数値関数、化学計算の回路、格子ゲージ理論のシミュレーション、モジュラ逆元計算を扱う。Reed–Solomonデコーダーでは、公開済みの基準設計の510万Toffoliゲートと最大1,938論理量子ビットを、提案設計の440,000ゲートと1,837量子ビットと比較している。論文の計算方法では、ゲート数と量子ビット数の積のスコアが12倍改善する。固定小数点のガウス関数では、報告された数値が24,000ゲートと362量子ビットから1,583ゲートと139量子ビットになり、同じスコアは39倍改善する。

8つ目の課題は異なる読み方が必要だ。素数位数の有限体におけるモジュラ逆元計算について、著者らは単一の基準設計や改善倍率を示していない。従来の構成では、ゲート数を増やして量子ビット数を減らすか、その逆を選ぶためだ。著者らの完全なベンチマーク回路は400万Toffoliゲートと935論理量子ビットを使う。Anthropicの解説によると、新しい設計群の1つは、従来の最小量子ビット設計より量子ビットを12%多く使う一方、ゲート数は17分の1だ。これはトレードオフであり、すべての指標が減るわけではない。

提案されたデコーダーの1つは、信頼性についても意図的なトレードオフを選んでいる。最悪の例外の連続に備えて665量子ビットを確保する代わりに、例外的な保存値1つに19量子ビットを確保する。論文の推定では、指定された分布の下で約10,000入力に1つはより多くの記憶領域を必要とし、失敗する。他の課題では精度や失敗の基準が異なる。表の行を比較する際は、ゲート数や量子ビット数とともに、これらの条件を考慮する必要がある。

計算だけでは分からないこと

評価プログラムは、古典計算で効率的にシミュレーションできる回路に計算基底の入力を与え、その動作を追う。大きな入力領域では、可能なすべての入力の正しさを証明するのではなく、抽出した入力を検査する。一部の課題は厳密な結果を仕様として要求するが、その検証にも有限のテスト集合を用いている。こうした検証は、各課題のインターフェースと誤差許容範囲内で提案を裏付けるもので、量子ハードウェア上で回路が動作したことを示すものではない。

Toffoliゲート数と論理量子ビットの最大数は、将来の時間・空間コストを見積もるための代替指標だ。装置のゲート深さ、ルーティング、誤り訂正方式、物理量子ビットによって、望ましい設計は変わり得る。著者らは各課題の入力表現も固定しており、一部の符号化変更は探索の対象外だ。有望なサブルーチンを完全なアルゴリズムに組み込む前に、これらの制約を考慮しなければならない。

最も確かな結論は設計手法に関するものだ。研究課題に明確な仕様と十分に高速な独立した評価プログラムがあれば、モデルは単純な局所的ゲート書き換えの繰り返しでは見落としかねない回路構成を探索できる。具体的なリソース数はなお著者らのプレプリントの結果であり、独立した再現と、ハードウェアを考慮した評価を待つ必要がある。

出典と参考資料

  • 大規模言語モデルで最先端の量子回路を発見する。Andi Gu、Alek H. Kemeny、Susanne F. Yelin、Mikhail D. Lukin、arXiv v1、2026年10月15日提出。一次資料のプレプリントは探索、評価プログラム、8課題の結果、検証、限界を記述する。研究報告であり、ハードウェアへの導入ではない。
  • Claudeでより効率的な量子回路を設計する。Anthropic、2026年10月16日。53時間の点加算探索やモジュラ逆元計算のトレードオフを含む、著者らによる研究解説。将来の実用量子コンピューターについての展望は予測であり、観測された結果ではない。