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).
摘要按规则整理自下方来源原文