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

AI サマリー（NQ 加工済み）

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