gjm comments on Singularity Institute is now Machine Intelligence Research Institute