The Mathematical AI Safety Institute wants to prove AI is safe the way cryptographers prove codes are unbreakable
Mathematical AI Safety Institute、暗号学の証明手法でAIの安全性を証明する取り組みを推進
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 De…