AIアシュアランス、実行結果を検証する公開PoC2件発表

株式会社AIアシュアランスは2026年11月2日、AIや業務自動化システムが重要な操作を実行する際の条件と結果を検証する技術「サイバーアシュアランス」について、公開PoC（概念実証）2件を発表した。対象は温度管理を伴う物流の引き渡しと、企業間システムの接続だ。単にAIが操作を提案したという理由で実行せず、権限、記録、実行直前の状態を確かめ、処理後の結果も証拠と照合する構成を示している。

温度管理物流で、条件不足や再送を検査

1件目は、温度管理が必要な貨物を引き渡す模擬システムだ。温度などの品質条件だけでなく、受領権限や記録の欠落、上流工程の保留状態も判定する。必要な記録が不足していれば処理を保留し、条件が補完されれば先へ進める。いったん成立した要求を再送しても引き渡しを重複実行しない設計とし、実行結果が承認内容と食い違った場合は正常完了として確定せず、隔離する。

同社の発表によると、この公開モデルでは定理証明支援系「Lean 4」を使って37命題を検査し、モデルと実装の出力照合を768組で実施した。PythonとJavaScriptの検査はそれぞれ272件で、署名付きの証拠50ケースも検証対象にした。ただし37命題は定理宣言数であり、768組は限定した入力と状態の組み合わせを指す。これらの数字を現実の貨物事故の防止率に読み替えることはできない。

企業間接続では結果未確定の切替えを保留

2件目は架空の3社が別々のシステムを持つ企業間接続のPoCだ。元の接続先に処理を依頼した後、通信障害で結果が分からなくなった場合、別の会社へ即座に依頼し直すと二重処理が起こり得る。そこで、元の処理が取消し済みと確認できるまで切替えを保留し、新たな相手には改めて承認を求める。すでに処理済みなら同じ操作を重ねないという制御を検証している。

同社は通信応答の消失、途中停止、同時再送、承認後の条件変更など40シナリオを試験し、自動テスト122件を実施したと説明する。40シナリオは122件の検査に含まれるため、件数を足して162件と数えるのは誤りだ。試験環境は同一PC上で動く別プロセス、別データベース、別の鍵を持つ合成企業であり、実際の企業ネットワークや実貨物を操作したものではない。

公開コードで確認できる範囲と今後の課題

2件のソースコードと検証手順はGitHubで公開されている。形式検証は定義したモデルと前提条件の範囲で性質を確かめる方法で、AIの判断そのものの正確性や、外部から入力される記録の真実性を無条件に保証しない。署名やハッシュの整合性が確認できても、記録の元となる観測が正しいかは別問題となる。発表元も、今回の成果は模擬環境での参照実装であり、実環境全体の安全性や他社製品に対する優位性を証明しないと明記した。今後は既存の認証・監視基盤と組み合わせ、実システムへの接続検証を目指す。