The Mathematical AI Safety Institute wants to prove AI is safe the way cryptographers prove codes are unbreakable (the-decoder.com)

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 .