たった1つの証明にLean 4のコード5000万行、2週間で安全なRustコード80万行、TPUカーネルの速度4.09倍。11月13日にGoogleが公開した研究アップデートは、Antigravity Teamworkがどこまで到達できるかを示しています。ただし、Teamworkが本領を発揮するのは、数時間から数日かかるマイルストーン型のプロジェクトです。1回の実行だけで、週次クォータの大部分を消費することがあるからです。
Antigravity Teamworkとは何か
Antigravity Teamworkは、Antigravity内で大規模かつ検証重視の作業を進めるための、Google製マルチエージェント・オーケストレーション機能です。/teamworkを実行すると、Sentinel、Project Orchestrator、Explorers、Workers、Critic、Challenger、Auditor、Success Auditorで構成されたチームが立ち上がります。チームは作業をマイルストーンに分け、専用のプロジェクトディレクトリで実装し、各マイルストーンを独立した検証で確認します。
Teamworkの実行は2段階です。フェーズ1では、メインエージェントとのスコーピングインタビューを行い、目的、要件、検証方法、受け入れ条件、プロジェクトディレクトリ(デフォルトは~/teamwork_projects/{PROJECT_NAME})を記録します。フェーズ2では、リクエスト、プロジェクト計画、進捗記録といった構造化された成果物をもとに自律実行します。WorkerとCriticにはそれぞれ専用のファイル所有権が割り当てられ、引き継ぎ前にはChallenger、Auditor、Success Auditorがチェックを行います(Teamwork docs)。
インタビュー中に設定するインテグリティモードによって、検証の厳しさが決まります。
development(デフォルト):素早い反復向け。コードの再利用やフレームワークは許可されますが、架空の出力や見せかけだけの実装は認められません。demo:再現可能なデモ向け。オープンソースから中核ロジックをコピーすること、主要作業を外部に委任すること、答えを得るためにテストソースを読むことは禁止されます。benchmark:最も厳格なモード。対象言語の標準ライブラリだけを使ってゼロから実装し、独立した正解データで評価します。
実行パスに応じて、チーム構成も自動的に変わります。
- General distributed coding(デフォルト):複数ファイルにまたがる開発やリファクタリング。
- Iterative coding:プロンプトに「小さく保つ」といった指定がある、範囲の限定された単一修正。
- Document Review:論文や設計ドキュメントを複数の視点からレビュー。
- Math / Proof、Math / Proof Large Team:形式的推論や大規模な予想検証。
一般的な実行期間は数時間から数日です。対象となるのは、Antigravity AppおよびCLIの有料プランです(Teamwork docs)。
Teamwork、Swarm、Boost、サブエージェントの使い分け
Antigravity Teamworkを選ぶべきなのは、マイルストーン、監査ゲート、専用ディレクトリが必要な場合に限られます。日常的な作業の多くは、もっと軽い機能で十分です。選択を誤ると、必要のないクォータまで消費してしまいます。
| ツール | 向いている作業 | 起動方法 | ワークスペース | 検証 | 一般的な所要時間 | プラン |
|---|---|---|---|---|---|---|
| サブエージェント | リポジトリ調査、ブラウザ確認、テスト実行などの小さな補助作業 | 自動、または@subagent | 現在のワークスペース | 親エージェントが返答を確認 | 数秒から数分 | 全プラン |
Boost(/boost) | 競合状態、難しいバグ、アルゴリズムなど、難度は高いが範囲の狭い問題 | /boost <task>で即時開始 | 現在のワークスペース、コンテキストは分離 | Workerが相互に挑戦・再検証し、オーケストレーターが抜き打ち確認 | 数秒から数時間 | 有料プラン |
Swarm(/swarm) | ファイル、パッケージ、テストスイートなど、きれいに分割できる幅広い作業 | /swarm <task>で即時開始 | 現在のワークスペース、またはWorkerごとのコピー | 専用の@verifierが差分を確認し、テストを実行 | 数分から数時間 | Google AI ProおよびUltra |
Teamwork(/teamwork) | 移行、シミュレーション、形式証明など、複数のマイルストーンを持つプロジェクト | /teamwork <goal>とスコーピングインタビュー | 専用の~/teamwork_projects/{PROJECT_NAME} | Critic、Challenger、Auditor、Success Auditorがゲートを担当 | 数時間から数日 | 有料プラン |
たとえば、数十個のファイルをまたぐRESTからFastifyへの移行をフルテストカバレッジ付きで進める場合、ハードウェアのタイマーと突き合わせて検証するサイクル精度シミュレーターを作る場合、Lean 4でチェックする形式証明にはTeamworkが向いています。独立した3つのAPIハンドラーに、それぞれ1つのWorkerを割り当ててバリデーションを追加し、npm testを実行するverifierを置くならSwarmで十分です。単一の競合状態や、並列Workerよりも順番に「挑戦・修正・検証」を回したほうがよい密結合のリファクタリングならBoostを使います。メインの会話を続けながら背景調査を任せるだけなら、サブエージェントで足ります。
混乱するのも無理はありません。あるAntigravityユーザーは、次のように述べています。
「agyはモードが増えすぎて、正直かなり分かりにくくなっている。今は……/teamwork(監査ゲート付きの長期マイルストーンプロジェクト)……さらに動的ワークフローもある。公平に言えば、全部は必要ない。モードが少ないほうが混乱も少ない……」
— @Heamanth_alturi(X)
判断に迷ったら、こう考えるとよいでしょう。完了条件が1つで、1回の作業で終わるならTeamworkは過剰です。計画の成果物と進捗の成果物が必要で、各マイルストーンを作成者以外の誰かに承認してもらう必要があるなら、Teamworkの出番です。
11月の研究アップデートで実際に示されたこと
11月13日に公開されたGoogle Researchのアップデートは、ローンチ告知ではなく成果報告です。Teamworkはそれ以前から、有料プラン向けの/teamwork-previewとして存在していました。今回の発表では、Gemini 4 Argon、Carbon、Hydrogenを使ったマイルストーン型チームが何を達成したのかが紹介されています。人間は引き続き問題、制約、評価方法を定義し、別のクリーンなコンテキストで起動したCriticが結果をレビューしました。
| 分野 | プロジェクト例 | エージェント規模 | 報告された成果 |
|---|---|---|---|
| 数学 | Courtade–Kumar予想の証明(Google、CUHK、USC、CMU) | 長大な証明のパターン、Lean 4による形式化 | Leanコード約5000万行で完全な証明 |
| 化学 | NMRデータからの分子構造推定 | 専門エージェント30体+物理シミュレーター | top-1完全一致95%、top-3完全一致100% |
| システム | ZirconのC++からRustへの書き換え | Argonによる2週間のキャンペーン | 安全なRustコード約80万行、arm64で起動 |
| MLハードウェア | TPUカーネルの最適化(DuoDiscover) | 代理評価器(23秒対7〜32分) | 17個のJAXBenchカーネルで平均4.09倍高速化 |
Googleはさらに、1万人の研究者を対象に、最上位アクセスを6か月間提供する申し込みも受け付けました。記事で紹介されたワークフローの一部は、外部ユーザーへの展開がまだ進行中です。したがって、この表は機能の実力を示す材料として見るべきで、すべてのプロジェクトで同じ成果が再現されるという保証ではありません。
公式ページだけでは分からないクォータ消費
Antigravityの料金ページ(pricing page)によると、Individualは月額$0で、Tab補完が無制限、週次の基本制限があります。ProとUltraでは制限が大きくなり、柔軟なAIクレジットプールも利用できますが、正確なリクエスト数は公開されていません。ProとUltraのクォータは、週次上限に達するまで5時間ごとに更新されます。超過分は購入済みクレジットで補うこともでき、設定でNeverまたはAlwaysを選択できます(plans docs)。TeamworkとBoostには有料プランが必要で、SwarmにはProまたはUltraが必要です(Swarm docs)。Google自身もOS開発に関する記事で、複雑なプレビュータスクを2つ実行しただけで週次クォータを使い切る可能性があると注意しています(Antigravity OS post)。
代表性のある調査ではありませんが、ユーザーの体験談は「問題ない」から「深刻」まで大きく分かれています。
「うわ、たった5分くらいでクォータを全部持っていかれた(3.5 Flash(high))」
— u/Several_Bag_3665(Reddit)
「Ultraのサブスクならかなり使える。Gemini Flash mediumでTeamwork previewを50分間ずっと動かしたけど、5時間クォータの約20%しか使わず、大規模なリファクタリングもきちんとやってくれた」
— u/ningkaiyang(Reddit)
この差を生む理由は主に2つあります。Antigravityの/swarmに関するドキュメントによると、各Workerは独立したエージェントで、待機中のWorkerはトークンを消費しません。また、クォータを使い切ったWorkerは、新しいボード投稿、モデル変更、ダイレクトメッセージがあるまで自動リトライせず一時停止します(Swarm docs)。ただし、Teamworkのドキュメントには同じ再開仕様が記載されていないため、共通するマルチエージェントの挙動と考えつつ、自分のプランで確認してください。Teamworkでは、リクエスト、計画、進捗記録に加え、エージェントごとの作業メモや検証ログなど、大量の中間成果物も生成されます(Teamwork docs)。ファイルが増えていること自体は想定された状態であり、作業の進展を意味するとは限りません。
週次クォータを使い切らずにTeamworkを初回実行する
Teamworkの起動自体は1コマンドですが、コストを左右するのはスコーピングインタビューです。Appではプロジェクトの会話を開き、/teamwork Migrate our REST API service from Express to Fastify, including full test coverage, TypeScript typing, and benchmark validationと入力します。CLIでは、プロジェクトディレクトリから/teamwork Design and implement a cycle-accurate memory controller with lockstep simulation testsを実行します。サブエージェントパネルまたはCLIのステータスバーで進捗を確認でき、Alt+Jで承認画面に移動できます。計画と進捗の成果物もリアルタイムで確認可能です(Teamwork docs)。
コストを抑えたいなら、フェーズ1を丁寧に行いましょう。方法ではなく、何を達成したいのかを指定します。目的、対象ユーザー(デモ、プロダクション、ベンチマークのどれか)、厳格な制約、そして各要件に対するテストスイートやメトリクススクリプトなどの客観的なチェック方法を明確にしてください。反復開発にはdevelopmentを選び、見栄えのする成果物やゼロからの証明が必要な場合だけdemoやbenchmarkを使います。検証が厳しくなるほど、エージェントの作業量も増えるためです。承認する前に、専用プロジェクトディレクトリが正しいことも確認してください。
実行中は、指示の窓口を中央に集約します。スコープ変更はコーディネーター経由で行い、Workerを削除する前に変更を取り込みます。進捗はファイル数ではなく、マイルストーンのゲートとテスト結果で判断してください。初回実行では、SettingsのAIクレジット超過設定をNeverにしておくのがおすすめです。そうすれば、基準クォータを使い切った時点で処理が止まり、気付かないうちにクレジットを消費する事態を防げます(plans docs)。プランのドキュメントで許可されている場合は、強力なプランナーと安価な実装担当を組み合わせる方法もあります。UltraではOrchestrator(Carbon)とOrchestrator(Argon)が利用でき、Gemini 4 CarbonまたはArgonで計画し、Gemini 4 Hydrogenが実装を担当します(pricing page)。これはCarbonとArgonの比較でも取り上げられているトレードオフです。
FAQ
/teamworkと/teamwork-previewの違いは何ですか?
/teamwork-previewは、以前使われていたリサーチプレビュー名です。現在のTeamwork docsでは、有料プラン向けのコマンドとして/teamworkが使われています。Googleは、一般提供開始について別途発表していません。
クォータを使い切った後、Teamworkを一時停止・復旧できますか?
文書化されている/swarmの挙動では、クォータを使い切ったWorkerは、新しいボード投稿、モデル変更、ダイレクトメッセージがあるまで一時停止します(Swarm docs)。Teamworkのドキュメントでは、同じ再開方法は確認できません。再起動する前に、~/teamwork_projects/{PROJECT_NAME}内の計画と進捗の成果物を確認してください。途中までのマイルストーンはファイルとして残ります。
Teamworkはどのような成果物を生成しますか?
リクエスト、プロジェクト計画、進捗の成果物に加え、エージェントごとの作業メモ、補助スクリプト、検証ログが生成されます(Teamwork docs)。大量のMarkdownが出力されるのは正常です。進捗はファイル数ではなく、マイルストーンのゲートとテスト結果で判断しましょう。
プロダクションのリポジトリでTeamworkを使っても安全ですか?
Teamworkは、専用ディレクトリ、ファイル所有権の分離、監査ゲートによって作業を隔離するため、衝突のリスクを抑えられます(Teamwork docs)。それでも本番利用では、マージ前に人間が受け入れ条件、テスト結果、最終的なSuccess Auditorのチェックを確認する必要があります。
/teamworkと入力する前の30秒チェックリスト
次の5つをすべて満たす場合だけ、/teamworkを実行しましょう。作業が複数のマイルストーンにまたがっている、各マイルストーンに客観的なチェック方法がある、専用ディレクトリが役立つ、独立した監査ゲートが重要である、そしてクォータを大量に使う1回の実行のほうが数週間の手作業より安い。この条件に当てはまらないなら、並列化しやすい幅広い作業にはSwarm、難しくても範囲の狭いバグにはBoost、背景作業にはサブエージェントを使いましょう。Teamworkは、本当にチームが必要なプロジェクトのために取っておくのが得策です。