AI・信頼性・評価
AIエージェントは長い作業ほど失敗する?崩れ方と防ぎ方
- AIエージェント
- 信頼性
- ハーネス
- Beyond pass@1
- HORIZON
- Agents' Last Exam
- Reflexion
- Agents-A1
- Aider
- Cline
- Focus Chain
- ReAct
- GDS
- pass@1
- pass^k
- メルトダウン
- タスク分解
- エピソード記憶
- リンタ
- 減衰カーブ
- プレプリント
- スキャフォールド
- ソフトウェア工学
- 文書処理
- WebShop
- HumanEval
- Terminal-Bench
- 基盤モデル
目次
AIエージェントは、指示を受けたあとツールを呼び出しながら自分で何手も進めていくプログラムである。このエージェントに実際の仕事を任せる場面が増えた。コードを直す、資料を調べてまとめる、書類を処理する。任せてよいかどうかの判断材料になってきたのはベンチマークの成績だが、これまで標準になってきたベンチが測るのは、たいてい短い仕事である。関数をひとつ書く、質問にひとつ答える。ところが現場で任せたいのは、何十手も続く長いほうの仕事だ。短い課題での成績が長い仕事でも当てになるかどうか、つまり長く走らせたときの信頼性は、成績表を見ているだけでは決まらない。もう一つ、エージェントの出来はモデル単体で決まるわけではない。検証を挟む、手順を書き出して貼り直す。モデルの外側に置くこうした仕組みをハーネス(スキャフォールドとも)と呼ぶ。長さの話をするときは、モデルの側とハーネスの側を分けて見る必要がある。
仕事を長く伸ばしたときにエージェントの信頼性が落ちるのは、モデルの限界なのか、ハーネスの側で取り戻せるものなのか。
長さで分けない全体の達成率で測った比較では、既存のハーネス同士を替えるより、基盤モデルを替えるほうが達成率は大きく動く。長いタスクで落ちた信頼性を、検証を強制するハーネスで取り戻せるかを測った出典は、本稿が引くなかには無い。
プレプリント2本は、検証を外から強制しない条件で、長いタスクほど信頼性が落ちると報告した12。ハーネスを替えた全体の達成率の開き 4.9〜7.2 ポイントは基盤モデルを替えた 16.8 ポイントに届かず3、記憶のメモ帳を足したハーネスは、長いタスクでは10モデルのどれも改善しなかった1。検証して直す仕組みと計画を保つ仕組みはハーネスの既定に入っているが45、その効き目を長いタスクで測った出典は本稿が引くなかには無い。
1手ごとの小さな誤りが、長い仕事で積み重なる
※ この節の例は、説明のために作った架空のものです。
1手ごとの誤りが小さくても、手数を重ねると完走の見込みは掛け算で大きく下がる。仕事の各手が、0.99 の確率で正しく進むとする。手と手の成否が互いに独立なら、20手の仕事を最後まで誤りなく終える確率は 0.99 の20乗で約 0.82、50手なら約 0.61、100手なら約 0.37 になる。1手の確かさは変わらないのに、手数が増えるだけで完走の見込みは大きく下がる。
ここで、各手の後に結果を検査し、誤った手をその場でやり直せるとする。やり直しで直る見込みが高ければ、1手あたりの実質の成功率は 0.99 より上がる。実質の成功率が 0.999 になれば、100手の仕事でも完走の見込みは9割ほどまで戻る。
この例から言えることは3つある。
- 完走の見込みは、1手の成功率を手数の回数だけ掛けた値で決まる。1手の成功率が同じでも、手数が増えるほど下がる。
- 1手ごとに検査してやり直す仕組みは、やり直しで直る見込みが高ければ、1手の実質の成功率を上げる。100手の仕事では、0.99 が 0.999 になれば完走の見込みが約 0.37 から9割ほどへ戻る。
- 上の計算は、手と手の成否が互いに独立だと置いている。実際の仕事で独立が成り立つかは、測って確かめる必要がある。
長いほど崩れ、崩れ方は分野で偏る
1本は、「信頼性の科学」を掲げる枠組みの論文「Beyond pass@1」だ(2026年3月31日公開)1。著者らはオープンウェイトの10モデル(対象は OpenRouter 経由で呼べるものに限る。GPT-4o や Claude 3.7 のような非公開モデルは対象外で、著者らは「本研究の対象より信頼性は高いだろう」と明記している)を 23,392エピソード・396タスクで回し、タスクの長さを、人が掛かる推定時間で4段階に分けて測った。単発の成功率(pass@1)だけでなく、長さに沿って信頼性がどう減衰するか(減衰カーブ)、ばらつきがどう増幅するか、どこで一気に崩壊するか(メルトダウン開始点)を指標化している。
著者らは、崩れ方が分野ごとに分かれたと報告する。ソフトウェア工学は最も急に崩れ、文書処理はほぼ平坦だ。部分達成も加点する信頼性指標、Graceful Degradation Score(GDS)で見ると、前者は長さとともに 0.90 から 0.44 へ下がり、後者は 0.74 から 0.71 でほぼ動かない1。ただし著者らは、文書処理が平坦なことを、人の推定時間という長さの尺度の限界の表れだと自ら書いている。著者らの予備調査では、人なら45〜60分かかる文書処理がエージェントには4〜8回のツール呼び出しで済み、同じ人時間のソフトウェア工学は15〜25回を要した1。
分野ごとの差は、10モデルを集計した姿である。別指標の pass@1 で見ると、長い側の2つの帯のソフトウェア工学でも上位4モデルは 74.7〜82.3% を保っている1。一方、対象の中でも上位のモデルほど野心的な多段戦略を試み、それが外れて、最も長い帯のタスクでは最大19%が「メルトダウン」(同じツール呼び出しの繰り返しなど、筋の通らない動きへ移ること)に至った、という1。著者らは、メルトダウンの検出を失敗の判定とは見ず、作業を打ち切る合図にもしないよう書いている1。
もう1本は独立したグループ(Wang ら)による診断ベンチマーク「HORIZON」の論文で(2026年4月13日公開)、やはりエージェントは長いタスクで大きく劣化する傾向を分野横断で報告している2。たとえば Embodied 分野では、GPT-5 系の成功率が短い帯の 0.926 から、タスクを段階的に長くするにつれ 0.407・0.259・0.074 へ落ちたと著者らは報告する(3回走行の平均±標準偏差のうち平均)。Claude-4 系も同じ分野で 0.963 から 0.037 へ落ちた。この分野では、エージェントが手順を一度に書き出し、それをシミュレーションでそのまま実行する2。
HORIZON が測るのは順位ではなく壊れ方だ。著者らは長さを段階的に伸ばしたタスクを4分野で組み、GPT-5-mini と Claude-4-Sonnet の2モデルから3,100本超の実行軌跡を集め、どの段階でなぜ失敗したかを軌跡に紐づけて分類する。分類はモデルに行わせているが、その照合は40軌跡・注釈者1名のパイロットである(人と分類器の一致度 )と著者らは報告する。この分類から著者らは、実行時に計画を検証して直す仕組みと、長い制約を保ち直す記憶の仕組みを今後の設計の重点に挙げ、より強い基盤モデルだけに頼るべきではないと書いている。ただしこれは研究課題としての提案で、その効き目は測っていない2。
別々のチームが別々のベンチマークと指標で、同じ「長くなると崩れる」を捉えたことになる。どちらも2026年前半のプレプリント(査読前)で、第三者による独立再現は確認できていない点は割り引いて読むべきだが、独立に同じ向きの結果が出た事実は、単発の主張より確度が高いと解釈できる。
より大規模で実務寄りの評価も、同じ向きの結果を出している。Agents’ Last Exam は、Berkeley を中心とする著者らが250名超の業界専門家と組んで作った実世界タスクのベンチマークである。標準ベンチでの好成績が経済的に意味のある実務への展開に結びついていない。著者らはこの差を主に「評価の問題」だと論じたうえで、最も難しいティアではまだ飽和にほど遠く、平均完全達成率は1%未満だと報告する3。著者らが最強とする構成(Codex と GPT-5.5)は Terminal-Bench で82%を出しながら、ALE では最も易しいティアでも完全達成率が38.1%にとどまった3。Terminal-Bench と同程度の規模でコマンドライン(CLI、Command-Line Interface)の課題に絞った部分集合 ALE-CLI でも、この構成の全体の達成率は23.3%(最も易しいティアで37.2%)だった3。著者らは ALE-CLI の課題を、Terminal-Bench より大幅に難しく、より長いエージェントのセッションを要すると説明する。ベンチマークは違うが、「短い・抽象的なベンチの強さは、長く現実的な仕事での到達度を保証しない」という同じ一点を、より大きな規模で指している(ただし著者に HORIZON と重なりがあり、完全に独立ではない)。
掛け算より速く落ちたのは、中の長さの帯
長いタスクで成功率が落ちるのは、手数が多いぶん各ステップの小さな誤りが積み重なるからである。1ステップの失敗率がわずかでも、独立に何十回と続けば成功率は掛け算で落ちる。Khanal らは、短い帯から中の帯への落ち方が、その単純な掛け算(各ステップが独立だと仮定した幾何級数)より速いモデルが多いと報告した(中の帯は短い帯の2倍の手数と置いた計算)。ただし同じ表の数で本稿が計算し直すと、長い帯(4倍と置く)で掛け算の予測を下回ったのは10モデル中2モデルで、10モデルの平均も、長い帯の 50.5% は予測の 33.9% より高く、最も長い帯の 52.1% は長い帯より高い1。著者らは中の帯の速い落ち方を、誤りがステップ間で正の相関を持つためだと解釈している。一度おかしなツール呼び出しをするか誤った仮説を立てると、そこから抜け出せずに引きずる、という説明だ1。途中で自分の誤りに気づいて直す力が弱いほど、崩壊は早いことになる。
ソフトウェア工学が最も速く崩れることも、同じ理屈で説明がつく(この説明づけは本稿の解釈である)。依存の連鎖が長く、途中の状態を検証しにくい仕事は、一度ずれると後戻りが効かない。文書処理の平坦さは、先に見たとおり著者ら自身が長さの尺度の限界に帰しているので、この説明には含めない。
測ったのは、検証を強制しない条件での信頼性
Khanal らが測ったのは、検証を強制する運用ハーネスを与えないエージェントの信頼性だ。 著者らは、一発勝負の成功率(pass@1)ではなく同じタスクを 回繰り返してすべて成功する確率(pass^k)を軸に、信頼性の減衰を測っている1。ツールが取り上げられているわけではない。著者らはエージェントに、「考える→動かす→結果を見る」を回す標準的なループ(ReAct)と、ファイルの読み書き・コマンド実行・ウェブ検索というツール一式を与えている。著者らが与えていないのは、テスト駆動開発(TDD、Test-Driven Development)や継続的インテグレーション(CI、Continuous Integration)のように、編集のたびに検証を必ず走らせて失敗を差し戻す実運用のハーネスのほうだ。検証するかどうかはエージェント任せで、外から強制されてはいない1。
したがって、「ソフトウェア工学が最も速く崩れる」を「モデルがダメだ」と読むのは誤りで、これはハーネスの条件の結果でもある。依存が長く途中の状態を検証しにくい仕事を、検証を強制せずに一直線に走らせた条件での崩れを、実験は測っている。研究の意義は「エージェントは使えない」ではなく、検証を強制しない条件で信頼性がどこでどう崩れるかを定量化し、ハーネスで何を埋めるべきかを示したことにある。1手ごとに検査してやり直し、やり直しで直る見込みが高ければ1手の実質の成功率が上がるので、この崩れの一部は、途中に機械的な検証・修復を挟む設計で取り戻せる余地がある。
崩れの一部を取り戻せるという見方は、本稿独自の解釈にとどまらない。Khanal ら自身も、最も有効な対策として長いタスクを短く割り境目でエージェントを起動し直すこと(タスク分解)を挙げている。ただしその改善幅は短帯と超長帯の pass@1 の差をとった算術で、原典も assuming subtask independence と断っている(Qwen3 30B で 75.8%−34.3%=41.5ポイント)。メルトダウンの兆しを合図に途中の状態を保存して起動し直す方策も、実装と評価は著者らが今後の課題に挙げている段階にある。実際、同じ論文が試したもう一種類のハーネスはむしろ逆効果だった(後述する)。
検証と計画保持は、既にハーネスの既定にある
外側の仕組みでこの崩れを減らせるという見方には、別の研究の手がかりがある。一つは広く引かれる Reflexion だ。エージェントに自分の失敗を言語化して次の試行へ渡す反省ループを足すと成績が伸びる、と著者らは報告した(多段の逐次意思決定では、AlfWorld で12回の学習ステップを通じて素の ReAct を絶対22ポイント上回り、134題中130題を解いた。1回で関数本体を書く HumanEval でも pass@1 91% を出し、ハーネスなしの同じ GPT-4 の80%を上回る)6。ここで反省が挟まる境目は試行と試行の間であって、1回の試行の中のステップ間ではない。失敗した一本を最後まで走らせ、その総括を次の一本へ渡す設計である。しかも著者ら自身、探索の多様性を要する WebShop では素の ReAct を有意に上回らなかったと報告している6。それでも、試行の失敗を検査して反省を次の試行へ渡す仕組みが、モデルを替えずに成績を上げうることは示している。
もう一つは、長いタスクへの到達を学習の側から伸ばす最近の試みだ。Agents-A1 の著者らは、外部知識・行動・観測・検証結果をつなぐ仕組みで平均45Kトークンという長い実行軌跡を大量に作り、それを教師データとして35Bのモデルを訓練した結果、1兆パラメータ級のモデルに複数ベンチで匹敵ないし凌駕したと報告する7。ここで効いたのは実行時のハーネスそのものではなく、ハーネスが生んだ長い軌跡で訓練したことである点は、混同しないでおきたい。それでも Reflexion と Agents-A1 は、パラメータを増やす以外の道が長いタスクには残っているという同じ方向を指している。外側の仕組みを設計する道と、その仕組みが生んだ軌跡で訓練する道がある。Agents-A1 は、効果を見込む先を短いタスクより長いタスクに置いている。
しかもこれは研究室の話にとどまらない。実運用のコーディング・ハーネスが、「検証→やり直し」と「計画の保持」を既定動作に組み込んでいる。Aider は編集したファイルを既定でリンタにかけ、設定すればテストも編集のたびに走らせる(--auto-lint/--auto-test+--test-cmd)。コマンドが非ゼロ終了で失敗すると、既定では修正を試みるかを利用者に確かめたうえで、その出力をモデルへ差し戻す4。Reflexion と違い、Aider が差し戻すのは反省文ではなくエラー出力そのものである。Reflexion の著者らは、テストの結果だけを返して自然言語の反省を省くと、HumanEval Rust の最難50題(GPT-4)でベースラインから改善しなかったと報告している(0.60 対 0.60)6。
Cline の Focus Chain は、タスク着手時に手順のチェックリストを生成し、一定間隔ごとにコンテキストへ貼り直す(既定は6メッセージごと)5。Cline はこの貼り直しを、エージェントがリストを忘れないようにするためだと説明している。リストは会話ではなくタスクごとの markdown ファイルに置かれる。Aider と Cline は、片や各ステップの検証と修復、片や計画の保持を、製品の既定に置いている。ただし、これらが長いタスクの信頼性をどれだけ戻すかは、どちらの出典も測っていない。
ただし、「ハーネスなら何でも効く」ではない。ここは Khanal ら自身が反証を出している。彼らは ReAct のループにエピソード記憶のメモ帳(気づいたことを書き留めて毎ターン読み返させる)を足したハーネスも並行して測っており、結果は明確に否定的だった。長いタスクでは10モデルすべてで素の ReAct を上回らず、著者らの分類では6モデルで悪化・4モデルで横ばい(悪化幅が 0.03 を明確に超えたのは4モデル)。素の ReAct のほうが良いハーネスであり、素朴なエピソード記憶を既定の信頼性対策として採用すべきではない、と結論している1。著者らは悪化の理由を、メモを書き込む呼び出しと伸びていくメモの毎ターンの注入が、ステップの予算とコンテキストを食うためだと説明している1。先の Focus Chain も手順のリストを一定間隔でコンテキストへ貼り直す仕組みで、コンテキストへ繰り返し書き戻す点で形が近い。計画を保つ仕組みが長いタスクで効くかどうかは、この否定結果からは切り分けられない。
ALE は同じベンチで、ハーネスを固定して基盤モデルを替えると(OpenClaw・12モデル)達成率の開きが16.8ポイント出た一方、基盤モデルを固定してハーネスを替えた開きは4.9ポイント(GPT-5.5・5ハーネス)と7.2ポイント(Claude Opus 4.7・3ハーネス)だったと報告する3。ここで比べているのは Claude Code・Codex・Cursor といった既存ハーネス同士で、原典も among the competitive harnesses evaluated here と条件を明示している。ハーネスのない条件は入っていない。この数字が示しているのは「どのハーネスを選ぶか」の差であって「ハーネスを足すかどうか」の差ではない。ただし原典は、支配的な要因は基盤モデル側の推論力と分野知識だと結論している。
問いに戻ると、長さで分けない全体の達成率で測った比較で大きく出たのは基盤モデルの差で、既存のハーネス同士の差はそれより小さかった。長さに沿った落ち方をハーネスごとに比べた数は、この比較には無い。一方、この2研究の結果から、検証を強制するハーネスを用いた場合の信頼性までは判断できない。この2研究が測ったのは検査とやり直しを外から強制しない側で、1手ごとの検査とやり直しを強制した側を長いタスクで測った出典は、本稿が引くなかには無い。長いタスクの評価を読むときは、1手ごとの検証が外から強制されていたかを先に確かめると、どちらの側の数かが分かる。ハーネスは自動では付いてこないうえ、中身を誤れば逆効果にもなる。崩れが速い仕事ほど、何を足すかまで含めて自分で組む必要がある。
出典7件
-
Khanal ほか「Beyond pass@1: A Reliability Science Framework for Long-Horizon LLM Agents」arXiv, 2026. https://arxiv.org/abs/2603.29231 — 査読前。10モデル・396タスクで、長いほど信頼性が減衰し、崩れ方が分野で偏ると報告。 ↩ ↩2 ↩3 ↩4 ↩5 ↩6 ↩7 ↩8 ↩9 ↩10 ↩11 ↩12 ↩13 ↩14
-
X. J. Wang ほか「The Long-Horizon Task Mirage? Diagnosing Where and Why Agentic Systems Break」arXiv, 2026. https://arxiv.org/abs/2604.11978 — 査読前。HORIZON で長い課題の失敗を軌跡で分類(Database・Embodied は分類が GPT のみ)。 ↩ ↩2 ↩3 ↩4
-
Yiyou Sun ほか「Agents’ Last Exam」arXiv, 2026. https://arxiv.org/abs/2606.05405 — 査読前。250名超の業界専門家と組んだ実世界ベンチで、最難関ティアの平均完全達成率は1%未満、ハーネスを替えた差は基盤モデルを替えた差より小さいと報告。 ↩ ↩2 ↩3 ↩4 ↩5
-
Aider「Linting and testing」公式ドキュメント, 2026年7月閲覧. https://aider.chat/docs/usage/lint-test.html https://github.com/Aider-AI/aider/blob/v0.86.0/aider/coders/base_coder.py — 編集したファイルを既定でリンタにかけ、設定すればテストも走らせ、失敗すれば利用者に確かめて出力をモデルへ差し戻す。 ↩ ↩2
-
Cline「Cline v3.25: The Coding Agent Built for Hard Problems」公式ブログ, 2026年7月閲覧. https://cline.bot/blog/cline-v3-25 https://github.com/cline/cline/blob/791d238996/apps/vscode/src/shared/FocusChainSettings.ts https://github.com/cline/cline/blob/791d238996/apps/vscode/src/core/task/focus-chain/file-utils.ts — 手順のチェックリストを生成し、既定で6メッセージごとにコンテキストへ貼り直す。リストはタスクごとの markdown ファイルに置く。 ↩ ↩2
-
N. Shinn ほか「Reflexion: Language Agents with Verbal Reinforcement Learning」arXiv, 2023. https://arxiv.org/abs/2303.11366 — 失敗の反省を次の試行へ渡すと成績が伸びるが、探索を要する WebShop では ReAct を有意に上回らないと報告。 ↩ ↩2 ↩3
-
L. Bai ほか「Scaling the Horizon, Not the Parameters: Reaching Trillion-Parameter Performance with a 35B Agent」arXiv, 2026. https://arxiv.org/abs/2606.30616 — 査読前。35Bで1兆級並みと開発元が報告。相手の一部はツールなし、劣るベンチあり。 ↩
この記事はAIを使用して執筆されました。内容には誤りが含まれる可能性があります。事実や数字の出典は脚注から確かめられます。