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

GhostDrift数理研究所、AIの「意味選択」と「意味状態遷移」に関する2件のPCT国際出願を発表

株式会社GhostDrift数理研究所（東京都新宿区、以下「当社」）が研究開発を進めるAI基盤技術「GD-Attention」と「意味生成OS（Meaning-Generation Operating… · 2026-08-13

GhostDrift数理研究所とオンザリンクス、医薬品コールドチェーンの機械検証PoC第1弾を完了、コードを公開——共同実装成果を広島発・日本発の「AIアシュアランス・プロトコル」へ展開

コールドチェーンの実務課題から、検証可能な共通基盤へ 株式会社GhostDrift数理研究所（東京都新宿区、代表取締役：前木秀光）と株式会社オンザリンクス（広島市中区、代表取締役：東聖也）は、コール… · 2026-07-28

自律型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