株式会社GhostDrift数理研究所【プレスリリース】 by PR TIMES
https://prtimes.jp
info@prtimes.jpCopyright (c) PR TIMES Inc. All Rights Reserved.2026-06-26T15:57:33+09:00ja-JPPR TIMES｜株式会社GhostDrift数理研究所のプレスリリース・ニュースリリース。自律型AIの判断は「人間が確認すれば安心」と言えるのか--GhostDrift、AI判断を後から確かめる「責任OS」基礎理論を情報学とLeanで公開
https://prtimes.jp/main/html/rd/p/000000004.000182721.html
[株式会社GhostDrift数理研究所]
[画像1: https://prtimes.jp/i/182721/4/resize/d182721-4-f1c4b8b974c116c8ecc9-0.png ]
「人間が確認した」は、AI時代の説明責任を支えられるのか 自律型AI時代の説明責任の問題は、最初から大事故の姿で...株式会社GhostDrift数理研究所企業・官公庁・団体2026-06-26T12:45:49+09:002026-06-26Claude Mythosが示すAI時代のサイバーリスクに、日本発の数学的対抗技術-GhostDrift、ADICサイバーアシュアランス拡張のLean形式証明を公開
https://prtimes.jp/main/html/rd/p/000000003.000182721.html
[株式会社GhostDrift数理研究所]
[画像1: https://prtimes.jp/i/182721/3/resize/d182721-3-112a87aa0b233a25e363-0.png ]
Claude Mythosが示すAI自律攻撃時代に、システム上のあらゆる重要な実行判断に数学的な関所を置く--日本発のサイバーアシ...株式会社GhostDrift数理研究所企業・官公庁・団体2026-05-26T12:30:01+09:002026-05-26AIの監査、「信じてください」から「数学的に確認できます」へ--GhostDrift、ADICの形式証明を公開
https://prtimes.jp/main/html/rd/p/000000001.000182721.html
[株式会社GhostDrift数理研究所]
[画像1: https://prtimes.jp/i/182721/1/resize/d182721-1-f68b588dcbbdec720c0a-0.png ]
「AIが何をしたかの証拠」を、後から誰でも同じ手順で再現・確認できる形で保存する--EU AI Actが求める第三者検証可能な...株式会社GhostDrift数理研究所企業・官公庁・団体2026-05-12T12:00:02+09:002026-05-12