PapersPolicy17:42Chinese content加拿大数学家成立数学AI安全研究所，欲用数学证明AI安全加拿大数学家新成立的这个研究所，想用数学方法证明AI是安全的，和密码学证明密码一样，挺有意思的。#Mathematical A.I. Safety Institute#AI安全#密码学Official accountDecoder@Manuel UthSourceRead laterReadWorth followingUsefulFollow Mathematical A.I. Safety Institute