2026年11月9日、Anthropicは開発者ブログで多エージェント実験の結果を発表した。早期版のClaude Fable 5.2を動かすエージェント1000体が、フェルマーの最終定理の形式化された証明をわずか28.7時間で再現したのだ。9月の取り組みでは、同じ証明に研究者1人と数十体のエージェントで11日かかり、約60億の出力トークンを消費した。今回は出力トークンが9月の3分の1、証明の長さは7分の1。それも研究者の指揮なし、専用のProve2Me協調プラットフォームもなしで成し遂げられた。
指揮者なし、分業は自分たちで生まれた
実験でエージェントに与えられたのは、証明すべき60の命題、古典的な証明ルートの一文の概略、命題が使う定義、そしてすでに証明済みの47の補題だけ。組織の作り方は完全にエージェント任せだった。最初の10分で、リーダー役のエージェントは共有データベースに5つの表を作った。指示、割り当て、メモ、ToDoリスト、完了記録だ。27分後にはすでに3つの命題が証明されていた。リーダーはその後、多くのヘルパーが予算内では証明不能と判断した47の命題を棚上げし、残り10の命題に人員を集中させた。各チームは17人程度から46〜139人へと膨らんだ。各エージェントはそれぞれ軽量な仮想マシンの中で動き、ネットワークはなく、ゲートウェイ経由でのみClaude APIを呼び、共有データベースとGitリポジトリで仕事を共有した。
1000体のエージェントが同時に動くのだから、統制も欠かせない。Anthropicはチームの周りに3層の防御を置いた。サンドボックス隔離、リアルタイム監視、事後レビューだ。各エージェントのシェルコマンドとファイル編集はすべて、サンドボックスからの脱出や監視の改ざんを狙っていないか分類器が事前にチェックする。1件でもブロックされればチーム全体が止まり、人が確認するまで再開しない。実験中の100万回を超えるツール呼び出しで、ブロックの基準に達したものは1件もなかった。Anthropicは同時に、これはあくまで「おもちゃの実験」であり、使われたのはプレリリースのアライメント評価をまだ終えていないモデル版だと注意している。結論をそのまま本番環境に持ち込むことはできない。
この実験で本当に面白いのは「AIが数学の定理を証明できた」ことではなく、指揮者のいないエージェントのチームが自分たちで協調の仕組みを作り上げたことだ。9月はProve2Meプラットフォームと研究者が支えていたが、今回は汎用ツールと共有のデータベース表だけで足りた。マルチエージェントが俎上に載せられたのは今回が初めてではない。以前の実測では、マルチエージェントチームのコストが5.1倍に膨らんだのに品質はほとんど変わらなかった。ただし代償もはっきりしている。1000のサンドボックス、100万回を超える呼び出し、28.7時間の連続稼働。その見返りは境界のはっきりしたデモだ。多エージェントがデモから日常の生産性へ進めるかどうかは、コスト、安定性、そして制御不能になったときの止め方にかかっている。
