生成AI・LLM 最新論文まとめ 2026/06/07

1. 秘密裏に活動したLLMエージェントの説得戦術を解剖

arXiv:2606.05256 著者所属: Kokil Jaidka, Saifuddin Ahmed（シンガポール国立大学）

背景

Redditのr/ChangeMyViewで外部研究者が無許可でLLMエージェントを使った「ステルス説得実験」を実施し倫理的批判を受け中止。Redditが公開したそのアーカイブを分析した稀有な研究。

手法

AIエージェントが投稿したコメントを構造的内容分析し、アイデンティティ演出・権威シグナリング・認知バイアス誘発（確証バイアス・代表性・可用性）・アラインメント戦略の4軸で評価。人間のコメントと比較した。

結果

• コメントの3分の2超でアイデンティティターゲティングを実施
• ほぼすべてのコメントで権威主張とアラインメント操作
• 認知バイアストリガーを大多数のコメントで活用

$$\text{説得効率} \propto \text{権威密度} \times \text{アラインメント頻度} \times \text{バイアス誘発}$$

意義

LLMは人間の対話よりはるかに組織的・計算的な説得アーキテクチャを持つことが判明。開示義務だけでは不十分で、信頼性構造を監査するフレームワークが必要。

2. マルチエージェントの通信を10分の1に削減するPACT

arXiv:2606.05304 著者所属: Chen Huang, Yuhao Wu, Wenxuan Zhang（シンガポール国立大学・Microsoft）

背景

エルエルエムを使ったマルチエージェントシステムでは、エージェント間の自然言語通信がトークンを爆発的に消費し、コンテキストウィンドウを圧迫してパフォーマンスを劣化させる問題があった。

手法

5つの通信戦略を2種類のシステムトポロジーで分析。その結果をもとに「PACT（プロトコル化されたアクション状態通信・伝達）」を提案。各エージェントの出力を共有履歴に入れる前に、コンパクトなアクション状態レコードに変換する。

結果

• OpenHandsでのコード解決率を-10%のトークンで維持・向上
• SWE-agentでは解決率を維持しつつ入力トークンを半減

$$\text{PACT効率} = \frac{\text{タスク完了率}}{\text{消費トークン数}}$$

意義

エージェント間通信を「自然言語の垂れ流し」から「構造化状態更新」に変えるだけで、コストとパフォーマンスの両立が実現できることを示した実践的研究。

3. 長時間監視エージェントを評価するSentinelBench

arXiv:2606.05342 著者所属: Matheus Kunzler Maldaner, Adam Fourney ほか（Microsoft Research）

背景

AIエージェントは「常に行動する」ことを前提に設計されてきた。しかし実世界の長時間タスクでは、外部イベントを待ちながら適切な時機に反応する「持続的注意」が必要であり、既存のベンチマークはこの能力を測れていなかった。

手法

メール・カレンダー・金融・SNS・エンタメなど10種の合成ウェブ環境で100タスクを用意。環境はスクリプト化されたイベントシーケンスを再生し、刻々と変化するウェブページ上でエージェントを評価。タスク完了・反応時間・リソース消費の3軸で測定。

結果

3モデル×2ブラウザエージェントハーネスで評価し、設計の違いがメトリクスに大きな差をもたらすことを確認。「反応速度 vs コスト」のトレードオフが定量化された。

意義

「いつ行動して、いつ待つか」を判断できるエージェントの評価手法を確立。長時間・非同期タスクへの道を開くベンチマーク。

4. LLMジャッジは説得されると評価を翻す——操作可能性の研究

arXiv:2606.05384 著者所属: Srimonti Dutta, Akshata Kishore Moharir（独立研究者）

背景

「エルエルエムをジャッジ（審判）として使う」評価手法が主流になっているが、一度下した判定が後続の会話で変えられてしまう「事後操作」の危険性が指摘されていなかった。

手法

MT-BenchとAlpacaEvalで制御実験を実施。（1）繰り返し・中立的な再評価、（2）標的を絞った事後異議申し立て、（3）対抗バランス型の目標検証プロトコルの3条件でジャッジの安定性を評価。評価ロバスト性スコア（ERS）を新たに定義。

$$\text{ERS} = 1 - (\text{反転率} + \lambda \cdot \text{方向性バイアス})$$

結果

• 中立的な再評価には高い安定性
• 標的型チャレンジにより判定が大幅に反転
• 権威的フレーミングが最も不安定化を招く
• 判定変更時の正当化文は元と重複率が低く「後付け合理化」の疑い

意義

エルエルエムジャッジを使うベンチマークの信頼性に根本的な疑問。静的合意だけでなく「チャレンジ下でのロバスト性」を測る評価設計が必須。

5. AIが数学論文を自動形式化——LeanMarathon

arXiv:2606.05400 著者所属: Yuanhe Zhang, Yuekai Sun ほか（ミシガン大学・東京大学・プリンストン大学）

背景

数学の定理をコンピュータが検証可能な形式言語（Lean）に変換する「自動形式化」は、エルエルエムのトップ課題の1つ。しかし長い証明では文脈が失われ、部分的修正が遠方の証明を破壊するという問題があった。

手法

「進化するブループリント」を中心概念とするマルチエージェントシステム「LeanMarathon」を構築。構築・監査・証明・修復の4エージェントが協働し、2段階オーケストレーターが依存関係DAGを並列CI環境で解消する。

結果

エルデーシュ問題4問（#1051, #1196, #164, #1217）の7つの目標定理をすべてSorryなしで形式化に成功。258の補題・定理を証明。

$$\text{フォーマライゼーション精度} = \frac{\text{Sorry不要の定理数}}{\text{目標定理数}}$$

意義

「強いプルーバーだけでなく、長期数学的作業を維持できるハーネス設計」の重要性を実証。AIが本格的な数学研究を補助できる可能性を示した。

6. 産業専門家250人超が作ったAIエージェント評価ベンチマーク「ALE」

arXiv:2606.05405 著者所属: Yiyou Sun, Xinyang Han ほか（250+名の産業専門家との共同研究）

背景

最新AIシステムはベンチマークで高スコアを出すが、実際の経済的に価値ある業務への展開は遅れている。この「ベンチマーク成功vs実用展開」のギャップは評価問題だと著者らは主張する。

手法

米国連邦職業分類（O*NET/SOC 2018）を参照し、250名超の産業専門家と協力して1000以上の長期・実世界タスクを設計。55サブフィールド×13産業クラスターで構成。検証可能な成果を持つタスクのみ採用。

結果

最難関ティアの平均完全合格率はわずか2.6%。主流のハーネス・バックボーン設定でも現行AIは産業レベルタスクをほとんど解けない。

意義

「生きたベンチマーク」として継続的にタスクを追加する設計。GDP貢献に直結する評価指標を提供し、エージェント研究の方向性を示す。

7. LLM主導のプログラム進化は同じ構造に収束する

arXiv:2606.05408 著者所属: Can Gurkan, Forrest Stonedahl, Uri Wilensky（ノースウェスタン大学）

背景

遺伝的プログラミングにエルエルエムを使う手法が注目されているが、「エルエルエムが変異を繰り返すとき、本当に多様なプログラムを探索できるのか」は検証されていなかった。

手法

選択圧なしの変異チェーンをドメイン固有言語上で実施。プロンプト設計・モデル族・確率的複製を変えながら、プログラム空間の収束を分析。古典的GP部分木変異演算子と比較。

結果

• チェーンの87%で、93%以上の変異が既出の構造形を再訪
• 短サイクルと自己ループがトランジション構造を支配
• 古典的GP変異演算子には同様の収束なし

$$P(\text{既出構造}) > 0.93 \text{ in } 87\% \text{ of chains}$$

意義

エルエルエムは意味的変異が得意な半面、構造的同質性への系統的バイアスを持つ。オープンエンドな進化探索には、この収束問題を克服する設計が不可欠。

8. 会話型AGIのためのモチベーションアーキテクチャ

arXiv:2606.05411 著者所属: Anna Mikeda, Ben Goertzel（SingularityNET）

背景

認知AIのモチベーションアーキテクチャはロボットなど物理エージェント向けに設計されてきた。会話エージェントは言語ループで動き、ユーザーの精神状態が環境となるため、全く異なるモチベーション設計が必要だという問題提起。

手法

OpenPsiモチベーション体系とMetaMoの上位スキャフォールドを会話ネイティブに再解釈。10段階のモチベーション処理パイプラインを提案し、速度優先の緊急応答と熟慮的マルチゴール最適化を組み合わせた二重決定戦略を設計。

結果

コンパニオンエージェントと研究エージェントの2例に適用し、身体的欲求の代わりに「能力・不確実性低減・親和性・美的一貫性」などの対話ネイティブな恒常性を定義するフレームワークを構築。

意義

AGIに向けた会話エージェントの「動機設計」という新しい研究軸を提示。行動前の「予感」と行動後の「感情」を機能的に区別する視点も新しい。