I’m not sure whether the unspoken context of this comment is “We tried to hire Terry Tao and he declined, citing lack of interest in AI alignment” vs “we assume, based on not having been contacted by Terry Tao, that he is not interested in AI alignment.”
If the latter: the implicit assumption seems to be that if Terry Tao would find AI alignment to be an interesting project, we should strongly expect him to both know about it and have approached MIRI regarding it, neither which seems particularly likely given the low public profile of both AI alignment in general and MIRI in particular.
I’m not sure whether the unspoken context of this comment is “We tried to hire Terry Tao and he declined, citing lack of interest in AI alignment” vs “we assume, based on not having been contacted by Terry Tao, that he is not interested in AI alignment.”
If the latter: the implicit assumption seems to be that if Terry Tao would find AI alignment to be an interesting project, we should strongly expect him to both know about it and have approached MIRI regarding it, neither which seems particularly likely given the low public profile of both AI alignment in general and MIRI in particular.
If the former: bummer.