学術論文リポジトリ arXiv cs.AI は2026年4月21日(現地時間)、Gregory Magarshak氏による研究論文「Context: Proactive Goal-Directed Intelligence via Composable Sandboxed Programs, Declarative Wiring, and Structured Interaction」を発表した。本論文は、受動的な対話型チャットボットを、ユーザーの入力を待たずに共有タスクを推進するプロアクティブな目標指向エージェントへと変革する「Context」アーキテクチャを提案している。
Magarshak Architectureのインテリジェンス層として提案された「Context」は、相互に強化し合う三つのメカニズムを基盤としている。
一つ目は、Write-time context assembly（書き込み時コンテキストアセンブリ）である。これは、Groker agentsを介してリッチな型付き属性を事前計算し、グラフ状態の決定論的純粋関数としてインタラクションコンテキストを構築する。このアプローチにより、コンテキストブロックは意味的な変更後もバイト単位で同一性を保ち、結果としてほぼ100%のKV-cache再利用率を実現する。
二つ目は、Composable sandboxed wisdom programs（構成可能なサンドボックス型ウィズダムプログラム）である。これは、LM（言語モデル）が生成した命令型プログラムで構成される、ガバナンスされたライブラリを形成する。これらのプログラムは、型付きストリーム関係を通じて目標タイプに宣言的に接続され、フェーズ順序付けによって構成される。これにより、追加のLM呼び出しを必要とせず、インタラクション時に直接実行される。
三つ目は、Proactive goal stream state machines（プロアクティブな目標ストリームステートマシン）である。これは、ユーザー入力を待機することなくグラフ状態を自律的に検査し、構造化されたインタラクションコンテンツ（オプション配列、ガバナンスアフォーダンス、明確化プロンプトなど）を発行することで、会話を終端状態へと積極的に推進する機能を持つ。
本論文では、これらのアーキテクチャがもたらす効果を裏付けるため、六つの形式的結果を証明している。具体的には、Context Stability Theorem、Program Composition Correctness Theorem、Declarative Wiring Soundness Theorem、Proactive Dominance Theorem、Coordination Overhead Elimination and Quality Preservation、およびCross-Platform Vote Consistency Theoremが含まれる。これらの理論的な成果は、オープンソースプロジェクトであるQbix、Safebox、Safebotsスタックを通じて実装されている。この論文は、Magarshak氏による一連の研究シリーズの第三作にあたる。
参考: arXiv cs.AI — 2026年5月26日 13:00 (JST)
原文ハイライト"Context: Proactive Goal-Directed Intelligence via Composable Sandboxed Programs, Declarative Wiring, and Structured Interaction"