株式会社GhostDrift数理研究所 ニュースリリース

自律型AIの判断は「人間が確認すれば安心」と言えるのか——GhostDrift、AI判断を後から確かめる「責任OS」基礎理論を情報学とLeanで公開

「人間が確認した」は、AI時代の説明責任を支えられるのか 自律型AI時代の説明責任の問題は、最初から大事故の姿で現れるとは限りません。 入口にあるのは、もっと身近な「後からの推測」です。 例えば、… · 2026-06-26

AIの監査、「信じてください」から「数学的に確認できます」へ——GhostDrift、ADICの形式証明を公開

GhostDrift数理研究所はAIの判断過程を第三者が数学的に再検証できる技術ADICの中核理論を形式証明として公開しAIガバナンスの信頼性向上を目指す · 2026-05-12

Claude Mythosが示すAI時代のサイバーリスクに、日本発の数学的対抗技術—GhostDrift、ADICサイバーアシュアランス拡張のLean形式証明を公開

GhostDrift数理研究所は、AI実行判断の証拠を数学的に検証する基盤「ADIC」のサイバーアシュアランス拡張を発表。Lean 4による形式証明で、証拠なき重要操作を物理的に遮断する仕組みの健全性… · 2026-05-26

AIの監査、「信じてください」から「数学的に確認できます」へ——GhostDrift、ADICの形式証明を公開

GhostDrift数理研究所は、AIの判断過程を第三者が検証できる技術「ADIC」の中核であるリプレイ検証理論の形式証明を公開しました。これは、EU AI Actが求めるAIガバナンスに対応し、「責… · 2026-05-12