Does anyone know if Tsimerman talked about AI extinction risk at other places? Critch has worked long-term in the field (MIRI, CHAI) but I was surprised to see this colab.