株式会社GhostDrift数理研究所 「AIが何をしたかの証拠」を、後から誰でも同じ手順で再現・確認できる形で保存する--EU AI Actが求める第三者検証可能なAIガバナンス基盤です。GhostDrift数理研究所は、AI判断を第三者が再実行・検証できる証拠として残す技術「ADIC（Advanced Data Integrity by Ledger of Computation）」の中核であるリプレイ検証理論を、Lean 4で検証可能な形式証明として公開しました。ADICは、判断の結果だけ