(Separately, your comment and Lawrence’s are conflating “Eliezer” with “MIRI”. I don’t mind swapping back and forth between ‘Eliezer’s views’ and ‘MIRI’s views’ when talking about a lot of high-level aspects of MIRI’s strategy, given Eliezer’s huge influence here and his huge role in deciding MIRI’s strategy. But it seems weirder to swap back and forth between ‘what Eliezer is currently working on’ and ‘what MIRI is currently working on’, or ‘how much effort Eliezer is putting in’ and ‘how much effort MIRI is putting in’.)
I agree with this.
(Separately, your comment and Lawrence’s are conflating “Eliezer” with “MIRI”. I don’t mind swapping back and forth between ‘Eliezer’s views’ and ‘MIRI’s views’ when talking about a lot of high-level aspects of MIRI’s strategy, given Eliezer’s huge influence here and his huge role in deciding MIRI’s strategy. But it seems weirder to swap back and forth between ‘what Eliezer is currently working on’ and ‘what MIRI is currently working on’, or ‘how much effort Eliezer is putting in’ and ‘how much effort MIRI is putting in’.)