株式会社GhostDrift数理研究所 新聞稿

AI 審計從「請相信我」轉向「數學可驗證」：GhostDrift 公開 ADIC 形式證明

GhostDrift數理研究所公開AI治理技術「ADIC」的Lean 4形式證明，使AI決策過程可由第三方進行數學驗證，應對歐盟AI法案監管需求。 · 2026-05-12

日本開發對抗 AI 時代網絡風險的數學方案：GhostDrift 發布 ADIC 網絡安全保證擴展的 Lean 形式證明

GhostDrift 數理研究所發布了其 ADIC AI 決策驗證基盤的網絡安全保證擴展，透過 Lean 4 形式化證明，從數學層面確保沒有正當證據的關鍵 AI 操作將無法執行。 · 2026-05-26

AI審計：從「請相信我們」到「可數學驗證」——GhostDrift發布ADIC的形式化證明

GhostDrift數理研究所發布了ADIC的核心技術——重放驗證理論的形式化證明，該技術允許第三方驗證AI決策。這旨在應對歐盟AI法案的AI治理要求，並防止「責任蒸發」。 · 2026-05-12