技術概要：PROMETHEUS – 深層因果研究の自動化

問題定義

大規模言語モデル（LLM）は、科学文献の要約、局所的因果主張の抽出、関連箇所の検索を行う能力を実証してきた。しかし、深層研究においては、これらの能力は不十分である。平坦な要約や集約された因果グラフは、科学知識の局所性、レジーム固有性、および証拠の限界を捉えきれない。研究者は、ある主張が「何であるか」だけでなく、それが「どこで成立するか」（例：特定の集団、時間窓、測定プロトコル）、他の主張とどこで衝突するか、そしてコーパス全体で支持がどのように変動するかを知る必要がある。既存のアプローチは、しばしば異質な証拠を単一の普遍的グラフまたは一般的な回答に縮約させ、科学探究において重要なシグナルである「ドリフト」、「矛盾」、および「未決定性」を不明瞭にする。

手法：トポス世界モデル

PROMETHEUS は、因果研究をトポス世界モデルの構築として再定義する。これは、研究基盤の明示的な被覆（cover）上でインデックス付けされた、層（sheaf）のような局所因果予測状態モデルの族である。

中核アーキテクチャ

このシステムは、検索された文献、提出書類、報告書、およびソースデータを、探索可能な因果アトラスに変換するパイプラインとして機能する。

1. 抽出と正規化（DEMOCRITUS から継承）:

   • システムは文書を検索し、因果イベント、エピソード、および関係性トリプル（主語 - 関係 - 目的語）を抽出する。
   • これらは、原因、結果、修飾語、極性、および出所を含む構造化されたcSQL スタイルの行に正規化される。
   • 以前の反復ではこれらを終端グラフエッジとして扱っていたのに対し、PROMETHEUS はこれらを局所モデルの観測値として扱う。

2. 文脈化と被覆の構築:

   • 抽出された主張は、局所的文脈（例：特定の種、会計年度、製品使用段階、またはエージェントの役割）に割り当てられる。
   • 各文脈 $U$ が、主張が比較可能な意味を持つことが期待される領域を表す被覆が構築される。

3. 局所予測状態表現（PSR）:

   • 各文脈 $U$ に対して、システムは局所因果予測状態表現を構築する。
   • 潜在変数モデルではなく、観測可能な予測アプローチを採用する。状態は、履歴 $h$ に基づく将来のテスト $\tau$ の予測確率（または支持スコア）を表すテーブル $M_U[h, \tau]$ として定義される。
   • 履歴は因果イベントの系列であり、テストは因果的な継続（例：「熱ストレス $\to$ 幼生の生存率変化」）である。
   • これらのテーブルには、支持カウント、不確実性推定値、および出所リンクが埋め込まれる。

4. 層理論に基づく組織化:

   • 制限写像: 文脈が重複する場合、制限写像は共有された履歴、テスト、および主張を整合させる。システムは、重複する局所モデル間の不一致（ギャップ）を計算する。
   • 接着診断: システムは、局所的な節（section）が整合的な大域的な節に「接着」できるかどうかを評価する。
     • 互換性のある重複: 局所モデルが合意している場合、これらは集約可能である。
     • 緊張/阻害された重複: モデルは、ドリフト、レジーム境界、または矛盾のために合意しない。これらは平均化されて消去されるのではなく、「矛盾」、「レジーム依存性」、または「未決定性」などの明示的な診断シグナルとして記録される。
   • 永続状態: 生成されたアトラスは累積的なアーティファクトである。新しい実行は、ドリフトの検出または接着の緊張の修復のために、以前の状態と比較できる。

5. 根拠ある反事実:

   • 論文がソースデータ、コード、またはシミュレーション出力を提供する場合、PROMETHEUS は記号的介入を外部科学基盤にバインドできる。
   • 介入を実行する（例：水文モデルにおける強制パラメータの変更、または単一細胞データにおける実験レジームの置換）。
   • 測定された結果は世界モデルに押し戻され、新しい観測値を中心に局所 PSR と層構造が再構築される。

主要な貢献

本論文は、6 つの具体的な貢献を概説する。

1. PROMETHEUS パイプライン: テキストからの深層因果研究のための言語からトポス世界モデルへのパイプライン。
2. DEMOCRITUS の拡張: 静的な因果テーブル/グラフから、被覆、制限、および接着診断を備えた局所因果予測状態モデルへの移行。
3. 形式化: 実装に適した因果イベント、エピソード、文脈、および接着緊張の有限な層理論に基づく形式化。
4. 主張アトラスインターフェース: 因果の脊椎、局所領域、支持、ドリフト、および出所のドリルダウンによってコーパスを整理するユーザー向けオブジェクト。
5. 評価プログラム: 単なる抽出精度ではなく、カバレッジ、ドリフトの可視性、支持の集約、出所の品質、専門家のナビゲーション時間、および再実行の一貫性に基づいて因果インストルメントを評価するための提案。
6. 根拠ある反事実の実証: 外部基盤（ソーステーブル、コード、データ）に対する介入を評価し、世界モデルを再構築するシステムを示す 4 つのケーススタディ。

結果とケーススタディ

本論文は、3 つの文献アトラスケーススタディと 4 つの根拠ある反事実ケーススタディを提示する。

文献アトラスケーススタディ

1. 海洋温度の影響: 魚類個体群に関する 11 件の研究を分析。アトラスは、核心となる因果の脊椎（温暖化 $\to$ 熱ストレス $\to$ 生存）を明らかにしたが、明確な局所レジーム（例：幼生の生存対経済的漁業生産量）や「ドリフト」領域（例：核心クエリとは無関係な人間の健康に関する主張）を特定した。また、異なる生態学的文脈間で幼生の加入に関する主張が衝突するレジームの緊張を露呈させた。
2. GLP-1 減量エビデンス: GLP-1 薬に関する 11 件の研究を分析。システムは、有効性主張を安全性シグナル（例：脱毛）、アクセスの問題、およびメカニズム主張から分離した。有効性と一部の心腎 benefits はレジーム間で「接着」したが、GI リスクと報酬経路に関する主張は阻害されたまま、あるいはレジームに敏感であることを強調した。
3. レスベラトロール/赤ワイン: 健康上の利益に関する 13 件の研究を分析。アトラスは、細胞株データ、ワイン化学、バイオアベイラビリティの制約、および人間の疫学によって支持される主張を区別した。「健康上の利益」は単一の大域的な主張ではなく、可搬性が異なる局所的メカニズムの集合であることを特定した。

根拠ある反事実ケーススタディ

1. マイクロプラスチック（Nature Climate Change）: ソーステーブルを使用して光学強制に介入。「色付き」粒子の光学特性をソースデータ内の「白/未汚染」値に置換すると、推定放射強制力が約 90% 減少した。システムはこれらの新しい観測値を用いて層モデルを再構築した。
2. インダス渓谷の水文: VIC 由来の流出データとコードを使用して「干ばつ回復」の反事実をシミュレート。システムは流出指数の回復を測定し、反事実下での干ばつと分散の間の弱化されたリンクを反映させるために、ハラッパ文明の変容に関する因果説明を更新した。
3. Sachs 蛋白質シグナル伝達: 単一細胞の撹乱データを使用して実験レジームを置換。システムはマーカーのシフト（例：PKA/Akt/Erk）を測定し、DAG 様の構造をより大きな層内の局所的チャートとして扱うことで、データに基づく観測値を用いて因果アトラスを更新した。
4. 歌うネズミ（MAPseq）: 投影行列を使用して、歌うネズミの運動皮質投影を実験室ネズミのレベルまで減衰させた。システムは投影支持が約 72% 減少することを測定し、運動皮質の拡大と発声レパートリーの間の因果的橋渡しを更新した。

意義と主張

本論文は、PROMETHEUS を単一の「最良の回答」または普遍的な因果グラフを生成するツールとしてではなく、証拠の幾何学をナビゲートするための研究インストルメントとして位置づける。

• 認識論的透明性: システムは、主張がどこで合意し、どこでドリフトし、どこで整合的な大域的な視点を形成することに失敗するかを明示的に露呈させる。「接着の失敗」をノイズではなく、貴重な研究シグナルとして扱う。
• 局所性と可搬性: どの主張が新しい文脈に可搬であり、どの主張が特定の留保を必要とするか、あるいはレジームに縛られているかを決定するための形式的メカニズムを提供する。
• 根拠ある改訂: 外部科学基盤（コード、データ、モデル）を統合することで、PROMETHEUS は記号的推論を超えて測定された介入へと移行し、実際の実験またはシミュレーション結果によって世界モデルを改訂可能にする。
• 将来の方向性: 著者は「基盤探索型トポス構築」を提案する。これは、将来のシステムが能動的に異質な研究アーティファクト（テーブル、コード、シミュレーション）を検索・統合し、因果世界モデルを構築、テスト、改訂することで、断片的な証拠から整合的な説明を組み立てるより広範な科学実践を自動化するものである。

本論文は、このシステムの価値は、局所性、支持、ドリフト、矛盾、および出所を保持する能力にあり、研究者が現在の知識の限界を検査し、新しいデータまたは介入が必要な箇所を特定することを可能にする点にあると結論づける。