加拿大数学家成立数学AI安全研究所，欲用数学证明AI安全
The Mathematical AI Safety Institute wants to prove AI is safe the way cryptographers prove codes are unbreakable
精选理由
加拿大数学家新成立的这个研究所，想用数学方法证明AI是安全的，和密码学证明密码一样，挺有意思的。
加拿大菲尔兹奖得主雅各布·茨米曼宣布成立数学AI安全研究所（MAISI），该机构计划借鉴密码学家证明密码无法被破解的方式，为AI系统的安全性提供数学证明。
原文 · Decoder
The Mathematical AI Safety Institute wants to prove AI is safe the way cryptographers prove codes are unbreakable
Canadian mathematician Jacob Tsimerman, a fresh Fields Medal recipient, has announced the founding of the Mathematical A.I. Safety Institute (MAISI). The article The Mathematical AI Safety Institute wants to prove AI is safe the way cryptographers prove codes are unbreakable appeared first on The Decoder .
