Andrew Critch announces Mathematical AI Safety Institute with Jacob Tsimerman · Digg