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…

To respect copyright, we link to the source rather than republishing the full text. Read the complete article on The Decoder.