AI主権とAIアシュアランス——「AIを制御する」市場の先で、何を検証すべきか
2026年9月29日、Forbes JAPANは「AIインフラの『主権』を企業に取り戻す起業家」と題する記事を掲載した。
記事が取り上げたのは、英国のVeldrisと、そのAI・データ基盤「Midgard」である。
Forbesがこの記事で示した論点は明快だ。AI競争がモデル性能や計算資源だけの競争ではなくなり、企業が自社のAIをどこまで検査し、移行し、制御できるのかそのものが新しい市場になり始めている。
記事中の表現を借りれば、**「制御そのものが製品になり得る」**という変化である。
Forbes JAPAN
この動きが重要なのは、Veldrisという一社が登場したからだけではない。
AIの価値を測る軸が、「どれだけ賢いモデルか」から、誰が制御できるのか、何を根拠に動いたのか、その判断を検証できるのかへ広がり始めていることを示しているからだ。
1. AI Sovereigntyは「AIを誰が支配するか」を技術問題に変える
Veldrisは、自社のMidgardを「sovereign AI and data operating environment」と位置づけている。
同社の公開情報では、データ、モデル、暗号鍵、インフラを利用組織自身が制御し、外部への通信を必要とせず、エアギャップ環境でも運用できることを重視している。また、モデルやデータの来歴、監査可能性、再現可能なビルドなどを含め、「ベンダーを信頼する」のではなく利用者自身が確認できる構造を掲げている。
Veldris
これはAIガバナンスにとって重要な変化である。
クラウド上のAIサービスを利用できることと、そのAIを企業自身が制御できることは同じではない。AIが企業の基幹業務、行政、医療、金融、防衛、製造などへ深く入るほど、「誰がモデルを支配しているのか」「データはどこへ行くのか」「外部サービスが停止しても動かせるのか」は、単なるIT調達ではなく経営上の問題になる。
Forbesの記事が捉えているのは、このAI Sovereigntyの商業化だと考えられる。
2. Veldrisは、すでに「Evidence」と「Decision」に踏み込んでいる
ただし、Veldrisを単純に「主権型AIインフラの会社」とだけ捉えるのは正確ではない。
同社の「Forseti」は、明確にAssuranceを掲げている。
Forsetiでは、AIやシステムの出力について、入力、変換処理、モデル、鍵などへ遡れる署名付きprovenanceを持たせ、使用したアルゴリズムを明示し、監査履歴を第三者が独立して確認できるEvidence Packとして出力するとしている。
Veldris自身が掲げる言葉は、**“Evidence, not attestation”**である。
Veldris / Forseti
さらに「Gungnir」は、意思決定を実行する前に、その決定が現在の状態に対してどのような影響を及ぼすかを投影する。何を知っていたか、何を予測したか、いつ予測したかを記録し、実行後には実際に起きたことと比較できる設計になっている。
一方で、Gungnir自身は推奨を出すのではなく、公開仕様では最終判断をoperatorに残すことを明示している。
Veldris / Gungnir
ここは非常に重要である。
AI Sovereigntyの議論が、すでにprovenance、evidence、assurance、decision-before-executionへ拡張し始めている。
つまり、「AIを所有・制御できること」だけでなく、AIやシステムが何を根拠に動いたのかを、第三者が検証できること自体が製品価値になり始めている。
3. 違いは「Assuranceをやっているか」ではなく、「何を保証対象にするか」
この動きを見たとき、GhostDrift数理研究所とVeldrisの違いを「VeldrisはAI Sovereignty、GhostDriftはAI Assurance」と整理するのは適切ではない。
Veldrisも明確にAssuranceへ踏み込んでいるからだ。
違いを見るなら、何を検証し、どの地点までを保証対象にするのかを見る必要がある。
レイヤー | 問われること | Veldrisの公開情報で強く示されている領域 | GhostDriftが重点的に研究する領域 |
Sovereignty | データ・モデル・鍵・計算基盤を誰が制御するか | 中核 | 前提条件の一つ |
Provenance / Evidence | 出力が何を根拠に生成されたかを第三者が確認できるか | Forsetiの中核 | ADIC・責任OSで扱う |
Decision Projection | 実行前に影響を把握し、後から予測と実績を比較できるか | Gungnirの中核 | 状態・遷移・実行前条件として扱う |
Adoption Assurance | この証拠と状態なら、判断を正式に採用してよいか | 公開資料では主たる訴求点ではない | 中核 |
Execution Assurance | 条件を満たした場合だけ操作を実行し、結果を次工程の前提として採用できるか | 公開資料では主たる訴求点ではない | 中核 |
GhostDriftが中心に置いている問いは、次のようなものだ。
「この出力がどこから来たか」だけでなく、「この証拠・状態・権限・条件の下で、この判断を採用し、この操作を実行してよいか」。
ここに、AIアシュアランスを単なる監査証跡や説明可能性で終わらせないための論点がある。
4. 「追跡できる」から「実行してよい」へ
例えば、AIが医薬品の輸送について「この貨物は次工程へ進めてよい」と判断したとする。
判断に使用したモデルが分かる。入力データも追跡できる。処理履歴も署名されている。
これらは重要である。
しかし、現場ではさらに別の確認が必要になる。
温度記録は必要な時間範囲を満たしているか。欠測は許容範囲なのか。必要な証拠がすべて存在するか。承認権限を持つ主体が確認しているか。判断対象と実際の実行対象は一致しているか。判断後に状態が変化していないか。一つでも必要条件を確認できなければ、処理を止めるべきではないか。
GhostDriftとオンザリンクスが2026年7月に公表した医薬品2～8℃コールドチェーンのPoCでは、AIモデルそのものの性能評価ではなく、AI等が生成した業務判断を正式運用で採用する前に、必要な条件、証拠、状態遷移を機械検証することを対象とした。
医薬品コールドチェーンの機械検証PoC
ここで重要なのは、「AIが正しそうだから通す」のではない。
あらかじめ定義された条件を満たしていることを確認できたから通す。確認できなければ止める。
この構造を、形式検証を含む技術によって機械的に確認可能にすることが、GhostDriftが考えるAI Assuranceの重要な役割である。
5. 世界で別々に起きている動きが、同じ方向を向き始めている
なお、GhostDriftの現在のAIアシュアランス技術には、2025年まで遡る技術的源流がある。2025年10月30日・31日の特許出願では、条件に応じた実行制御、停止、状態遷移、実行後検証及び監査につながる構造を出願し、同年11月にはADICの数学的基盤となる再計算・再検証技術を出願した。これらは当時から現在の「責任OS」として完成していたという意味ではないが、後にEvidenceとExecutionを接続する技術体系へ発展した二つの基礎的な系譜である。詳細な技術史は以下の記事で整理している。
GhostDriftは2026年5月、AI判断の根拠を後から再実行・検証できるADICの中核理論をLean 4で形式化して公開した。
6月には、AI判断を後から検証できる情報構造として残す「責任OS」の基礎理論を公開した。
7月には、医薬品コールドチェーンで、必要条件を満たした場合だけ次の処理へ進める機械検証PoCを実施した。
医薬品コールドチェーンAIアシュアランスPoC
さらに9月には、AIの判断だけでなく、現実の機械・設備等における「実行」と「結果確認」までを対象とするフィジカルAI関連のAIアシュアランス技術5件について国際出願を公表した。
フィジカルAIの実行・結果を検証するAIアシュアランス技術
これは、Veldrisとの優劣や単純な先後を主張するために挙げているのではない。
むしろ重要なのは、英国と日本で独立して進んできた技術開発が、Control、Provenance、Evidence、Decision、Assuranceという近接した問題へ向かい始めていることである。
これは一社の製品トレンドではなく、新しい技術カテゴリーが形成されつつあることを示す外部シグナルと見ることができる。
6. Control → Evidence → Permission → Execution
AIが現実の業務を動かす時代には、必要な技術レイヤーを次のように整理できる。
Control誰がデータ、モデル、鍵、計算基盤を制御しているのか。
↓
Evidenceその出力が、どの入力、処理、モデル、状態から生成されたのかを確認できるか。
↓
Permissionその証拠と現在状態に基づき、その判断を業務上正式に採用してよいことを確認できるか。
↓
Execution許可された操作だけを実行し、その結果が成立したことを確認して、次の処理へ進めるか。
Veldrisの登場とForbesの記事は、少なくとも最初の二つ、そしてDecision Projectionまでが、すでに独立した商業価値を持ち始めていることを示している。
GhostDriftが研究しているのは、そこからPermissionとExecutionを含めて、判断を現実の責任ある実行へ接続する部分である。
7. AIアシュアランスは「AIの外側」にあるインフラになる
AIが文章や画像を生成するだけなら、最終的に人が確認すれば足りる場面も多い。
しかし、AIが製造設備を動かし、物流を変更し、アクセス権を変更し、取引を承認し、行政判断を支援するようになれば、「AIがそう言った」だけでは現実の操作を正当化できない。
必要になるのは、
何を根拠に判断したのか。その証拠は検証できるのか。その条件なら判断を採用してよいのか。その状態で実行してよいのか。実行後の結果を次の判断の前提としてよいのか。
を、一つずつ確認できる仕組みである。
Forbesが示したように、AI市場では「制御そのもの」が製品になり始めている。
Veldrisが示しているように、そこからEvidenceやAssuranceも製品になり始めている。
その先では、「このAI判断を現実の業務で採用・実行してよい」と検証可能にすること自体が、新しいインフラになると私たちは考えている。
AIの競争軸は、モデルを大きくすることだけではない。
AIを制御できること。AIの証拠を確認できること。そして、その判断を採用・実行してよいことを証明できること。
AI Assuranceの市場は、すでにその輪郭を見せ始めている。
参考資料
Forbes JAPAN「AIインフラの『主権』を企業に取り戻す起業家」（2026年9月29日）https://forbesjapan.com/articles/detail/105653
Veldris 公式サイトhttps://veldris.io/
Veldris / Forseti - Assurancehttps://veldris.io/forseti/
Veldris / Gungnir - Decision Projectionhttps://veldris.io/gungnir/
GhostDrift数理研究所「AIの監査、『信じてください』から『数学的に確認できます』へ——ADICの形式証明を公開」（2026年5月12日）https://prtimes.jp/main/html/rd/p/000000001.000182721.html
GhostDrift数理研究所「自律型AIの判断は『人間が確認すれば安心』と言えるのか——『責任OS』基礎理論を情報学とLeanで公開」（2026年6月26日）https://prtimes.jp/main/html/rd/p/000000004.000182721.html
GhostDrift数理研究所・オンザリンクス「医薬品コールドチェーンの機械検証PoC第1弾を完了」（2026年7月28日）https://prtimes.jp/main/html/rd/p/000000005.000182721.html
GhostDrift数理研究所「製造AIを、PoCから現場の実行へ。フィジカルAIの実行・結果を検証するAIアシュアランス技術5件を国際出願」（2026年9月15日）https://prtimes.jp/main/html/rd/p/000000008.000182721.html
※本稿は2026年9月29日時点で各社が公開している情報をもとに整理したものであり、各社技術の非公開仕様、特許請求範囲、法的な優先関係を評価するものではありません。
コメント