Jacob Tsimerman to become founding scientific director of Mathematical AI Safety Institute · Digg