本文にスキップ
AI News HubLIVE
サイト内リライト2 分で読了

Odyssey:検証可能な局所的真実保存基盤モデルの構築

記事の要約

本論文では、ODYSSEYと呼ばれる圏論的フレームワークを導入する。これは、「ファウンドリ」(foundries)と呼ばれるモジュール型アーキテクチャコンポーネントを組み合わせて、検証可能で局所的な真実を保存する基盤モデルを構築するものである。ファウンドリは、局所コンテキスト、表現族、制限写像、グルールール、障害ポリシー、更新義務、人間向けビューを指定する。普遍ファウンドリ学習は、左および右のKan拡張を用いて構築を形式化し、ファウンドリSQLはTICKET認証を用いたクエリインターフェースを提供する。このシステムは多様なファウンドリで実装・テストされており、ICML 2026で2.5時間のチュートリアルとして発表される予定である。

ソースarXiv AI著者: Sridhar Mahadevan
Odyssey:検証可能な局所的真実保存基盤モデルの構築
誤りを報告

訂正窓口はまだ利用できません。記事情報をコピーして保存できます。

訂正案内
本文へ

研究者らは、ODYSSEYと呼ばれる圏論的フレームワークを提案した。これは、「ファウンドリ」(foundries)と呼ばれるモジュール型アーキテクチャコンポーネントを組み合わせることにより、検証可能で局所的な真実を保存する基盤モデルを構築するものである。各ファウンドリは、局所コンテキスト、局所表現族、制限写像、グルールール、障害ポリシー、更新義務、人間向けビューを定義する。数学的には、ファウンドリは組織化された知識の層(sheaf)であり、議論コンポーネントを内包する。具体的なファウンドリは、証拠/議論、運用判断、機関/財務、市場意味、科学的課題、研究プログラム、アシスタント構築、評価ハーネスなどの汎用ファウンドリから構築される。このモジュール設計により、異なるドメインに特化した知識表現と推論ルールが可能となる。

普遍ファウンドリ学習(Universal Foundry Learning, UFL)は、ODYSSEYの中核アルゴリズムであり、左Kan拡張と右Kan拡張を用いてファウンドリの構築を形式化する。左Kan拡張は、異なるソースからの局所アーティファクトを候補ファウンドリに統合する。右Kan拡張は、制限、グルー、障害、議論条件を強制し、候補ファウンドリが昇格要件を満たすことを保証する。この二重拡張メカニズムにより、ファウンドリ間の一貫性と局所的真実の保存が確保される。

既存のAIモデルとの統合のために、ODYSSEYはファウンドリSQL(Foundry SQL, FSQL)を提供する。これは、維持されたファウンドリアーティファクトをスライスするための小さな型付きクエリ言語である。FSQLはTICKET(因果Kan拡張トランスフォーマーを用いたトポス統合)認証を使用し、外部または事前構築されたモデルを永続的なODYSSEY状態に取り込む。TICKET認証は、外部モデルとODYSSEY内部の因果的クレームとの整合性を保証する。

ODYSSEYは、証拠評価、運用判断、金融市場、科学的課題など、多様な具体ファウンドリで完全に実装・テストされている。実験により、同じ圏論的メカニズムがドメイン構築、アーティファクトリプレイ、層診断、Toulminモデルと局所LLMに基づく精査、残余障害台帳、および異種ソースにわたる最適化されたTICKET互換因果主張抽出をサポートすることが示された。この成果は、より信頼性が高く検証可能なAIシステムの構築に重要である。

本論文はSridhar Mahadevanによって執筆され、全34ページで、2026年6月25日にarXivに提出された。ICML 2026で2.5時間のチュートリアルとして発表される予定であり、チュートリアルホームページはarXivで公開されている。

要点と分析を開く

記事インテリジェンス

投資家上級

要点

  • ODYSSEYは、検証可能な局所的真実保存基盤モデルのための圏論的フレームワークである。
  • ファウンドリは、局所知識、表現、推論をカプセル化したモジュール型コンポーネント。
  • 普遍ファウンドリ学習は、Kan拡張を利用した構成と検証を実現する。
  • システムは複数のファウンドリでテストされ、ICML 2026で紹介予定。

要点と分析は自動生成され、誤りを含む場合があります。原典をご確認ください。