📡 Signal｜Anthropic、自分から動く AI エージェント「Claude Duet」を試験公開

Anthropic は10月21日 (米国時間)、利用者が頼む前に自分から動く AI エージェントのアプリ「Claude Duet」を、研究プレビューとして公開した。対象は米国の Pro と Max プランの利用者で、待機リストへの登録を受け付けている。iOS と Android のアプリ、パソコンではウェブ版の claude.ai から使う。

対話型の AI は、人が質問して初めて動く道具だった。Duet は、つないだアプリを見張って必要なことを先に知らせ、人が席を外している間も作業を続ける。大手の AI 企業が、AI に仕事を任せる使い方に、一般向けの製品で踏み込んだ。

朝の報告と、席を外している間の作業

製品ページによると、Duet は利用者ごとのクラウド上のコンピューターで動き、利用者がつないだアプリを使って作業する。頼みごとは文字でも声でも送れる。Claude の公式 X アカウントは、Duet を、注意が必要なことを持ってきて、頼まれた作業を片づけ、離席中も働き続け、代わりに行動する前に確認する、と説明した。

毎朝の報告では、優先すべきことを挙げて次の手の下書きを用意し、その後は判断が要る時まで黙っている。会議の設定やダッシュボードの作成といった作業を頼むと、終わった時点で結果を知らせる。未払いの請求書を探して催促の文面を下書きする、受信箱と予定表の中から気にすべき項目を拾う、といった使い方も例に挙がっている。

つなげるのは、Gmail、Slack、Google Drive、Stripe、Shopify、QuickBooks、Notion などを含む6,000を超えるコネクタとプラグインだ。動かすモデルは Claude Opus 5.5 で、Claude のメモリーやスキル、つないだアプリの設定はそのまま引き継がれる。

線は「送る・払う・署名する」の手前

任せる範囲の線は、外に向けて取り消しにくい行動の手前に引かれている。製品ページは、メッセージを送る、支払いをする、といった慎重さが要る操作の前に利用者の承認を求めると書き、許可申請の手数料の支払い、メールの送信、書類への承認を例に挙げた。承認やログイン、安全の確認は、利用者ごとのクラウドのコンピューターの中で行う。Duet がしたこと、している途中のことは利用者が見て、方向を変えられる。

研究プレビューの限界も製品ページに書かれている。会話の流れを読み違えたり、急ぎの度合いを見誤ったりすることがあり、確認と確認の間に届いたものを見落とすこともある、という。料金は別建てではなく、プレビュー中は Claude のほかの使い方と同じ利用枠を共有する。背景での確認作業も枠を使い、財務モデルや資料づくりのような大きな作業ほど多くを消費する。

Team と Enterprise のプランは、まだ対象に入っていない。会社の業務を任せる使い方より先に、個人の利用者で「どこまで任せられるか」を試す順番になっている。

同じ週の研究: コードを証明で確かめる

翌22日、Anthropic のフロンティア・レッドチームは、検証技術の企業 Theorem と組んだ研究を公表した。Claude に、実際に使われているオープンソースのソフトウェアについて、正しく動くことの数学的な証明を書かせたものだ。

既存のファジング (ランダムな入力を大量に与えて異常を探す試験) のテストを形式的な仕様に置き換え、RISC-V 向けにコンパイルされたプログラムがその仕様を満たすことを、証明支援系 Rocq で証明させた。123のライブラリの239の入口について、64メガバイトまでのどの入力でも異常終了しないことを証明し、証明のコードは合わせて約1億8,000万行になった。作業の途中で数百のバグが見つかり、XML の解析ライブラリ libexpat の既知の脆弱性も再発見したという。

研究は限界も明記している。証明が成り立つのは、単一スレッドの静的なプログラムを、RISC-V と Linux、musl という C の標準ライブラリの組み合わせで動かす場合で、x86 や ARM、glibc で動く実際の環境とは異なる。「形式的に検証された」ことは、バグがないことと同じではない。

二つの発表は別の製品と研究だが、向いている先は同じだ。AI に任せる範囲が広がるほど、任せた仕事が正しいことを人の目以外で確かめる手段が要る。Duet は承認の関門でそれを人の手に残し、形式検証は証明でそれを機械に担わせる。

次に見るもの

確認先は、Claude Duet の製品ページの対象プランと地域の欄だ。研究プレビューの間に、Team と Enterprise、米国外の利用者が書き加えられるかで、任せる使い方が個人から会社の業務へ広がる時期が読める。もう一つは同じページの承認の説明で、承認を求める操作の例が増えるか減るかを見る。

ことば

• 研究プレビュー — 正式な提供の前に、対象を絞って公開する試験の段階。不具合や読み違いがありうることを前提に、使われ方を見て仕様を直していく。Duet は待機リストで利用者を少しずつ広げる。
• コネクタ — AI がメールや予定表、決済などの外部サービスを読み書きするための接続口。Duet はこれを通じて利用者の代わりに作業するため、どのコネクタをつなぐかが任せる範囲を決める。
• 形式検証 — プログラムが決められた性質を満たすことを、試験ではなく数学的な証明で確かめる手法。証明は検証用のソフトウェアが機械的に点検する。手間が大きく、これまでは一部の重要なソフトウェアに限られてきた。

🔗 一次ソース

• Claude Duet 製品ページ — 対象 (米国の Pro・Max、待機リスト)、iOS・Android・ウェブ、承認が必要な操作、6,000超のコネクタ、Opus 5.5、利用枠の扱いを確認Claude
• Claude 公式 X の告知 (2026年10月21日)
• Anthropic「LLMs are making formal software verification feasible at a much larger scale」(2026年10月22日) — 123ライブラリ・239の入口、64メガバイト、約1億8,000万行、libexpat の脆弱性の再発見、前提の限界を確認anthropic.com