プレスリリース・ニュースリリース配信サービスのPR TIMES

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

2026年6月26日 12時45分 株式会社GhostDrift数理研究所 　　 　　

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

2026年5月12日 12時00分 株式会社GhostDrift数理研究所