Baughn comments on Singularity Institute is now Machine Intelligence Research Institute

[Baughn]

I’m vaguely suspecting a retronym, based on that Star Trek episode.