サリー大学の研究者は、AIデータシステムが組織の情報をどれだけ学習したかを検証できるソフトウェアを開発した。 デジタルデータベース は、企業のオンライン・セキュリティ・プロトコルに欠かせないものとなっている。また、AIがソフトウェアコードの欠陥を特定し、それを利用できるかどうかを検出することもできる。この研究は、25th International Symposium on Formal Methodsで最優秀論文賞を受賞している。
検証ソフトウェアは、AIが対話からどの程度学習できるのか、また、プライバシーを侵害するような知識を持ちすぎていないかなどを識別することができ、組織が安全な環境でAIを安全に導入することを可能にする。研究所長のエイドリアン・ヒルトン教授 人中心 サリー大学のAIは、生成AIモデルの性能を検証できるツールは、安全で責任ある展開に不可欠だと考えている。
