VISIONHUBDAILY AI BRIEF · 2026.10.19

Anthropicの量子回路研究 / 誰の課題を、どう解いたか

量子計算に必要な操作を減らす。
AIが設計し、プログラムで確かめる。

Anthropicは10月16日、Claude Mythos 5が量子回路の計算手順を設計・改善した研究を発表しました。研究者が仕様を用意し、AIが回路案を作り、別のプログラムが動作と必要な資源を調べます。その結果をAIへ返し、設計を繰り返し見直す仕組みです。[1]

点加算という特定の計算では、従来の最小量子ビット設計に対し、重い操作の数を約17分の1にした案を報告しています。この案は量子ビットを約12%多く使います。一般の開発現場では、同じ結果を返す小さな処理を改善する方法として、この進め方を試せます。[1]業務への応用は本稿の提案

研究で扱った課題量子回路の設計にかかる手間

正しく計算しながら、ゲート数と量子ビット数のよい組み合わせを探す。

使った仕組みAIの試作と、外部プログラムの検査

AIの自己評価だけに頼らず、候補ごとの結果と資源数を比較する。

開発現場への提案期待する出力が決まる処理で試す

まずは集計関数1つ。速さ・メモリ・確認工数を同じ条件で測る。

掲載号:2026年10月19日公式発表:10月16日論文v1:10月15日 UTC / 16日 JST再調査:10月19日

成果は論理回路の資源数の比較です。実際の量子コンピューター全体で、処理時間を17分の1にした実験ではありません。

ONE-PAGE BRIEF / 絵と図でつかむ、この研究の要点

誰が条件を決め、何を検査し、どの資源を減らしたのか

人物・画面は説明用のイラストです。研究成果はAnthropicの発表と論文に基づき、開発現場の試し方は本稿の提案として区別しています。[1][2]

課題:限られた量子ビットで、重い操作を減らせる回路を探したい。

方法:AIが案を作り、外部の検査結果を使って修正する。

判断:減った操作数と、増えた量子ビット数、失敗を許す条件を一緒に読む。

画像の内容をテキストで読む

直接の対象は量子アルゴリズム・回路の研究者。人が仕様と検査条件を用意し、Claudeが回路を生成するコードを書きます。評価プログラムが動作を検査し、必要なゲート数と量子ビット数を数え、結果を返して再設計します。点加算回路の設計例では、Luoらの最小量子ビット設計に対し、Toffoliゲート数が約17分の1、論理量子ビット数は838個から935個へ約12%増。これは入力分布と許容失敗割合に条件がある資源比較で、実機の処理時間は測っていません。一般の開発業務では、期待出力を決められる小さな処理を同じ条件で比較し、人が採用を判断する方法を提案します。

01

誰の、どんな課題か

研究者は回路を改善し、開発者は検証の進め方を学べる

この研究が直接扱うのは、量子回路の設計です。一般のプログラムへの効果は、対象を選んで別に測る必要があります。読者ごとに、持ち帰れる成果と次の判断を整理します。

量子アルゴリズム・回路の研究者

資源の制約に合う設計を探したい

今の課題
ゲートを減らすと量子ビットが増えるなど、両立が難しい設計を何度も比較する。
どう使う
計算の仕様と評価器を用意し、AIに複数の方式を試作させる。
手元に残るもの
回路を作るコード、検査記録、資源数、候補ごとの違い。
次の判断
自分の入力条件・許容失敗割合・利用できる量子ビット数で再評価する。

集計・データ変換を担当する開発者

出力を変えずに、遅い処理を改善したい

本稿の提案
今の課題
高速化の案は出せても、境界条件で結果が変わらないかを調べる手間がかかる。
どう使う
固定したテストで候補を検査し、合格した案だけ速度とメモリを比べる。
手元に残るもの
変更差分、出力の一致結果、速度とメモリの測定記録。
次の判断
AIに見せていないデータと、人によるコード確認で採用を決める。

改善施策の採否を決めるPM・技術リード

改善のために使う費用を管理したい

本稿の提案
今の課題
速くなっても、AI利用料・確認工数・保守負担が増えれば採用しにくい。
どう使う
品質の合格条件と、試行回数・時間・費用の上限を先に決める。
手元に残るもの
採用・見送りの理由、改善した指標、悪化した指標、総費用。
次の判断
運用で減る負担が、実験と保守の負担に見合うかを確かめる。

研究者向けの整理は一次資料に基づく解説。開発者・PM向けの利用方法と評価案は未実施の提案です。[1][2]

02

AIをどう使ったか

人が仕様を決め、AIの案を別のプログラムで検査する

研究では、Claude Mythos 5、Pythonで書く回路生成コード、探索を管理するOpenEvolve、独立した評価プログラムを組み合わせています。候補を残しながら異なる方式を並行して調べ、うまくいった工夫を別の方式にも取り込みます。[2:Methods]

図は横にスクロールして読めます。

回路案を検査し、結果を返して改善する流れ人が仕様と検査条件を用意。AIが案を作り、評価プログラムが指定条件で動作を検査。条件を満たした候補は資源を比較して保存し、人が結果を確認。誤りや評価結果はAIに返す。 人が用意Claudeが試作外部プログラムで検査条件を満たした候補 仕様・正解の条件回路のコード指定入力で動作を検査資源を比較し、保存 使える操作・資源の上限複数の方式を検討誤り・条件への適合を判定人が結果と条件を確認 誤りと評価結果を返して修正 正しさの検査と、効率の採点を分ける。条件を満たさない案も、失敗の記録として残す。
一次資料の仕組みを整理した概念図。箱や矢印の大きさは、時間・費用・試行数を表しません。[2]

「正しいか」と「軽いか」は、別の判定

研究の効率指標は、Toffoliゲート数と、同時に必要な論理量子ビット数の最大値の積です。正しさは対象ごとの基準で検査します。速く見える案でも、仕様を満たさなければ候補にはできません。

論文のTはToffoliとCCZを同じ重みで数え、Qは論理量子ビットの最大同時使用数を表します。[2:Methods]

53時間は、設計案を探した時間

Anthropicは点加算の探索に53時間かかったと報告しています。人は初期仕様を与え、途中でも時折、別の発想を試すよう促しました。回路の実行時間や、毎回同じ成果を得られる所要時間を表す数字ではありません。[1]

この研究で検査できた理由

対象は、入力ごとの動作を通常のコンピューターで効率よく調べられる種類の量子回路です。出力の値に加え、位相の条件や、作業用の量子ビットを初期状態へ戻すことも検査対象になります。一般の量子回路すべてを簡単に検証できる仕組みではありません。[2:Methods]

03

何を変えたのか

操作の履歴を一部保存せず、更新後の値から復元する

量子回路は、量子ビットに操作を順に施す計算手順です。今回扱う回路では、途中の情報を普通のプログラムのように上書きして捨てられません。必要な答えを残したうえで、逆計算などにより、作業用の量子ビットを初期状態へ戻す必要があります。[2:Methods]

途中の値を残すと、量子ビットが必要

値や操作の履歴を残しておけば、あとで計算を戻す際に使えます。その分、保持するための量子ビットを多く使います。

値を消して再利用すると、計算が増えることがある

作業用の量子ビットを空けても、同じ値が再び必要になれば計算し直します。どの情報を、いつまで残すかが設計上の工夫になります。

「モジュラー逆数」は、余りで考える世界の逆数

楕円曲線の点加算は、曲線上の2つの点から、決められた規則で別の点を求める計算です。その重い部分に、決めた数で割った余りを使う「割り算に相当する処理」があります。そこで必要なのが、モジュラー逆数を求める計算です。[1]

意味をつかむための小さな例

3 × 5 = 15 = 7 × 2 + 1

7で割った余りで考えると、3に5を掛けた結果は1になります。この意味で、5は3の「7を法とする逆数」です。研究は、より大きな数についてこの種の計算を行う回路を扱っています。

Claudeが使える形にしたのは、divstepsという計算法で、どの分岐を選んだかを更新後の状態から復元する構成です。復元にも操作が要るため、実際の設計では、復元が安く済む履歴は保存せず、手間がかかる履歴は保存します。[2:SI II.1]

図は横にスクロールして読めます。

計算の状態から履歴を復元する仕組み更新後の数値から操作履歴を復元できる規則を見つける。復元の操作が少なく済むものは保存せず、復元に手間がかかるものは履歴を保存する。保存する量と復元に使う操作の組み合わせを選ぶ。 更新後の数値どの操作をしたか復元できる 復元の操作が少なく済む履歴を保存せず、計算で復元 復元に手間がかかる履歴を保存して、あとで使う 回路全体の資源を比較ゲート数と量子ビット数を数えるこの計算法の数学的な性質を使う工夫。任意のデータの履歴を復元できるわけではありません。
保存と復元の使い分けを示す概念図です。図の面積は、資源の使用量を表しません。

新しさは、既存の回路から操作を少しずつ削るだけでなく、計算法・情報の持ち方・途中の情報を消す方法をまとめて組み直したことにあります。復元規則の数学的な証明と、回路全体の試験の違いは、第5節で説明します。

04

成果の数字を読む

約17分の1は、最も量子ビットが少ない従来設計との比較

開発元・研究チームによる評価

AnthropicのTable 1と論文のTable S3には、点加算の4つの設計が載っています。ゲート数が少ない設計と、量子ビット数が少ない設計は異なります。「約17分の1」の比較相手は、次の表のLuoらの設計です。[1][2:Table S3]

表は横にスクロールして読めます。

同じ点加算の入出力を扱う回路の比較。ゲート数は出典の表に合わせた丸め値。
設計Toffoliゲート数論理量子ビット数この比較での位置づけ
Schrottenloher190万1,446個表の中でゲート数が最少
Luoら7,000万838個「約17分の1」の比較相手。
従来設計の中で量子ビット数が最少
Claude:ユークリッド法の改良2,100万843個量子ビットの増加を抑える別の新設計

図は横にスクロールして読めます。

減るゲート数と、増える量子ビット数Luoらの設計からClaude divstepsへの比較。Toffoliゲート数は7000万から400万、論理量子ビット数は838個から935個。棒の長さは同じパネル内で数値に比例し、左右の単位と縮尺は異なる。 Toffoliゲート数:大きく減る論理量子ビット数:約12%増える Luoら:7,000万Claude:400万Luoら:838個Claude:935個 出典の説明では「約17分の1」97個増加 / 約11.6%増を丸めた値
各パネルの棒はゼロを起点とし、長さは数値に比例します。左右の単位・縮尺は異なります。7,000万÷400万=17.5ですが、本文では出典と同じ「約17分の1」と表記しています。

ゲート数から、実機の秒数へは直接変換できない

Toffoliゲートは量子計算の操作の一種で、実行コストの大きさを見積もる際の指標です。実際の時間は、操作を並行して実行できる程度や、誤り訂正などにも左右されます。表の量子ビット数も論理量子ビットであり、実機で用意する物理量子ビット数とは分けて扱います。[2:Cost model]

使える量子ビット数によって、選ぶ案が変わる

たとえば、この表の計数範囲で900個までという上限を置くなら、935個の案は候補から外れます。843個の別案を検討する、という判断になります。どの資源に制約があるかを先に決める必要があります。

数値表から考える判断例 実機への搭載可能性を保証する例ではありません。

比較条件と、研究全体で示された成果

対象は256ビットの素数を使う楕円曲線の点加算回路です。Table S3の資源数は後始末の処理を含みますが、足す点を供給する用途固有の保存・検索は含みません。論文SI II.2には、Luoらの再構成を6,950万、ユークリッド法の改良を2,050万とする、表より細かい値があります。[2:SI II / Table S3]

研究全体は8課題を扱い、7課題でゲート数と量子ビット数の両方を減らしたと報告しています。点加算を中心とする残りの課題は、両資源の組み合わせの改善です。8課題すべてで、どちらの資源も一律に減ったという結果ではありません。[3]

05

どこまで確かめたのか

復元規則の証明と、回路全体の試験は分けて読む

今回の成果には、数学的な規則の正しさ、指定条件での回路の動作、必要な資源数という複数の確認があります。一部の規則を証明したことだけで、回路全体の全入力を保証したことにはなりません。

数学的な確認

履歴を復元する規則

Anthropicは、復元規則を数値シミュレーションで検査し、Leanで証明を確認したと説明しています。論文のAppendix Aには数学的な証明があります。[1][2]

Leanによる確認は、Anthropicの報告として記載しています。

回路全体の試験

入力を選び、結果を調べる

点加算の新設計は、指定の入力分布で10万件を試し、4件の失敗を報告しています。これは古典コンピューターでの検査結果です。[2:SI II.1]

観測した4件を、そのまま全入力での失敗確率とは扱いません。

設計上の条件

まれな失敗を許して資源を減らす

この点加算回路では、指定分布に対する許容失敗割合を0.02%以下に設定しています。扱う点の分布や、式がそのまま使えない例外を除く条件があります。[2:SI II.1]

全入力で誤りゼロが必要な処理には、この条件をそのまま移せません。

実務で採用する前に変えるべき条件

研究では、まれな入力のための処理を省くことも資源削減につながっています。業務への応用では、省いてよいケースがあるかを仕様として先に決める必要があります。第7節の集計例では、件数・金額の一致を必須にし、不正入力は定義したエラーとして扱います。研究の許容失敗割合を、そのまま業務の許容値にはしません。

当サイトでは量子回路の再現実験、実機測定、一般業務での効果測定は行っていません。本文は一次資料の解説と、明示した評価案から構成しています。

06

開発現場に取り入れるなら

AIへ渡す前に、期待する出力と測定方法を用意する

ここからは本稿の提案・効果は未検証

この進め方を試しやすいのは、「同じ入力なら、何が正しい出力か」を別の手段で確かめられる処理です。集計関数やデータ変換などから1つ選び、既存実装とAIの候補を同じ条件で比較します。

最初の対象に選びやすいもの

入力・出力・エラー条件が決まっており、処理単体を実行できる関数。速度やメモリが課題として測定でき、担当者がコードを確認できるもの。

先に準備が必要なもの

正解が担当者ごとに違う処理、入力が刻々と変わる処理、テストすると本番データを書き換える処理。まず仕様・比較用データ・実行場所を整えます。

用意するものは、モデル以外にもある

用意するもの役割
既存実装と、固定した期待出力正しい動作の基準にする。既存実装の出力自体も、小さな例で確かめる。
編集対象と、独立した評価プログラムAIが変更する実装と、合否を決める検査を分ける。AIに検査基準を書き換えさせない。
テスト用の実行場所送信・利用してよいコードと架空データで試す。本番の書き込み処理は含めない。
候補・ログ・費用の記録どの変更で改善したか、何が失敗したか、試行にいくら使ったかを追えるようにする。

研究で使われたOpenEvolveは、候補プログラムと評価器を組み合わせるための公開ソフトウェアです。自分の課題に合う評価器や実行条件は、別途用意します。研究と同じ結果がそのまま再現できるという意味ではありません。[4]

PMが見る費用の範囲

試作の総費用 = AI利用料 + テスト実行費 + 人の確認・修正にかかる費用

さらに、採用後の運用費と保守負担を見積もります。53時間という研究の探索時間から、自社の費用は計算できません。モデルの使い方・試行数・環境に応じて記録します。

07

小さく試すための具体例

店舗・日別の集計関数を1つ選び、出力を変えずに改善する

架空データで行う評価案

店舗ID・日付・整数金額の配列を受け取り、店舗と日付ごとの件数・合計金額を返す関数を想定します。出力の並び順も仕様で固定します。小さな手計算用データを使うと、AIの案と既存実装の両方を確かめられます。

入力:架空の売上3件

店舗A / 2026-10-01 /  1,000円
店舗A / 2026-10-01 /   -200円
店舗B / 2026-10-01 /    500円

この例では返金を負の金額で表します。同じ内容の行も別の取引として数えます。

期待する出力

店舗A / 2026-10-01 / 2件 / 800円
店舗B / 2026-10-01 / 1件 / 500円

店舗ID→日付の昇順。仕様どおりの件数・合計・順序になったかを照合します。

  1. STEP 1正しさの条件を固定する

    空データ、返金、同じ内容の複数行、金額の境界、不正な日付・欠損を含めます。不正入力の扱いと、整数の範囲も決めます。

  2. STEP 2既存実装の時間とメモリを測る

    小さなデータで答えを確認し、規模と件数を固定したデータで測定します。マシン・実行環境・ビルド条件・ウォームアップをそろえます。

  3. STEP 3方式の違う候補を作って比べる

    同じ合格条件で検査し、通過した候補だけを測定します。試行順を入れ替えて複数回測り、中央値とばらつきを記録します。

  4. STEP 4未提示データで確認し、人が決める

    採用前に、AIへ渡していないデータで確認します。速度だけでなく、メモリ・読みやすさ・確認工数も含めて判断します。

この実験で使う合格条件の例

正しさ:仕様で定めた出力とエラー動作が一致すること。
費用と資源:最大メモリは現行の1.2倍以内、候補5案または作業2時間で打ち切る。AI利用費にも上限を置く。
採用:繰り返し測定しても改善が見られ、コードの複雑化や確認・保守の負担に見合うこと。

1.2倍・5案・2時間は、本稿が置いた仮の条件です。研究の設定値・実測結果・推奨値の保証ではありません。対象の重要性と予算に応じて変更してください。

コピー操作は、この文面を端末のクリップボードに入れるだけです。

まず1つ、期待する出力を説明できる処理を選ぶ

自分の処理で、正しさを保ったまま負担を減らせるかを測る。そのための検査と比較条件を先に用意することが、この研究から持ち帰れる実践です。量子回路で得られた改善率を、自社の目標値へそのまま置き換えず、実測して判断します。

出典と確認した範囲

一次資料確認:2026年10月19日。公式発表は10月16日。論文v1の提出は10月15日17:59 UTC(日本時間10月16日02:59)です。[3]

  1. Anthropic — Designing more efficient quantum circuits with Claude2026年10月16日。発表の背景、53時間の探索と人の関与、約17分の1・量子ビット約12%増、Leanによる復元規則の確認。発表中のTable 1も画像で照合。
  2. Guほか — Discovering state-of-the-art quantum circuits with large language models(論文本文)arXiv:2610.22367v1。Methods:回路モデル・検査・TQ指標・探索方法。SI II、Table S3:点加算の設計比較。SI II.1、Table S4:入力と失敗条件。Appendix A:分岐の復元規則の証明。Table S3はPDFでも照合。
  3. arXiv書誌ページ — 要旨・著者・提出履歴論文の提出日時と版、8課題のうち7課題で両方の資源を削減したという要旨を確認。PDFを読む。
  4. OpenEvolve — 公式リポジトリ候補プログラムと評価器を組み合わせる公開ソフトウェア。研究で使用された版と、確認時の最新版が同一であるとは扱っていません。
この記事の区分:研究成果と検証結果は開発元・著者の報告です。実務への応用、架空の集計例、合格条件、依頼文は本稿の提案であり、効果は未検証です。当サイトで量子回路を再現したり、実機性能を測定したりした結果ではありません。
ONE-PAGE BRIEF / 拡大表示

Escキーでも閉じられます。原寸表示では画像の中を縦横にスクロールできます。