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 cryptog