2026.11.14 SAT05:47 JSTGoogle
Google、エージェント「/teamwork」提供
条件付きAntigravity上で順次提供
AIエージェント同士が役割分担と自己検証を行いながら、何日もかかる複雑な問題を解く仕組みです。
- 長時間タスクで文脈が拡散しないよう文脈を構造分割するマルチエージェント基盤を提供
- Lean 4検証器などの自動検証と並行探索を組み合わせ、数学や工学の未解決問題を解く
- Antigravity上で/boostなどの機能とともに外部開発者・研究者へ順次公開
目線
長時間稼働でコンテキストが汚染されるエージェントの課題に対し、役割ごとに文脈を切り離して検証する実装設計の指標になる。
対象
自律型マルチエージェントや検証パイプラインを設計する開発者
使える場面
- 数千行規模のコード生成や証明検証などの長大タスクの分散実行
- 生成エージェントと検証エージェントを分離したパイプラインの構築
試すなら
Antigravity上で提供されている/boostや/teamworkの動作仕様を確認する
確認点
全機能の外部展開は今後数週間にわたって段階的に行われる予定
背景
従来のLLMは長時間タスクで文脈ウィンドウが肥大化して細部を見失う課題や、単一試行での正答率の限界があった。
何が変わったか
- 各エージェントに必要なファイルとツールだけを渡す文脈分割アーキテクチャを採用
- 生成役から独立した検証役・批評役が白紙の文脈から結果を自動検査
- 探索アルゴリズムとLean 4証明チェッカー等の検証器を直結
使える場面・影響
エージェント開発において、単一プロンプトでの長時間推論から、役割と文脈を分離した自己検証ループへの移行が進む。
一次ソース
- Google Research Blogresearch.google