数学家创立数学AI安全研究所（MAISI）

新晋菲尔兹奖得主、加拿大数学家 Jacob Tsimerman 宣布成立数学AI安全研究所（MAISI），希望像密码学家证明密码不可破解那样，用数学方式证明AI的安全性。