Almost certainly, the AI safety pie getting bigger will translate to more resources for MIRI too. That said, although a lot of money and publicity was thrown a

Almost certainly, the AI safety pie getting bigger will translate to more resources for MIRI too. That said, although a lot of money and publicity was thrown around regarding AI safety in the last year, so far I haven't seen any research outside MIRI that's tangible and substantial. Hopefully big money AI won't languish as a PR existence, and of course they shouldn't reinvent MIRI's wheels either.