The Mathematical AI Safety Institute wants to prove AI is safe the way cryptographers prove codes are unbreakable
What happened
Canadian mathematician Jacob Tsimerman, a fresh Fields Medal recipient, has announced the founding of the Mathematical A.I. Safety Institute (MAISI).
Summary assembled by rule from the sources below