Jacob Tsimerman announces Mathematical AI Safety Institute · Digg