AIアシュアランスは、AIや自動化システムの重要操作を検証する「サイバーアシュアランス」の公開実証2件を発表しました。対象はコールドチェーンの引き渡しと企業間接続で、実行前の承認条件や実行後の結果を証拠で確認し、不適切な処理や二重実行を防ぐ仕組みを示します。公開モデルは定理証明支援系Lean 4を含む自動検査に成功したとしています。