問題提起
AIの判断根拠を後から検証できる仕組みが欠如している。説明責任と監査対応で根本的な問いに直面する
なぜ今か
EU AI Act 2026年施行、ISO 42001認証需要の高まり
Lemmaの役割
- AI判断の帰属にZK証明
- RAG情報源の永続的来歴
- コンプラインス報告のための選択的開示
ユースケース
AI Audit Log Proof
金融・公共分野のAIが下した判断は、モデル更新で根拠が散逸します。EU AI Act・ISO 42001は説明可能な運用を要求しますが、平文ログだけでは決定の改ざん不能性を証明できません。LemmaはAI判断の帰属にZK証明を付け、モデルが変わっても過去判断の根拠を遡れる構造を残します。
ユースケースを見る → →
RAGソース認証
企業AIが「内部ポリシーセクションXに基づく」と回答するとき、引用されたソースが変更されていない原本と一致する保証はない。RAGインデックスは定期的に再構築され、文書はバージョン管理され、エンベディングはドリフトする。Lemmaは、AI回答内の各引用が、それが参照すると主張する正確な文書バージョンに暗号論的に紐付けられていることを証明する。
ユースケースを見る → →
最新の考察
はじめる
証明する準備はできましたか？
ユースケースについてお聞かせください。1営業日以内にご返信いたします。