成立数学AI安全研究所以形式化证明AI安全

数学家Jacob Tsimerman发起成立Mathematical A.I. Safety Institute (MAISI)，志在用类似密码学的形式化证明方法来验证AI安全性。