I know that MIRI doesn't aim to actually build a FAI and they mainly try to provide material for those that seriously try to do it in the future. At least this is my understanding, correct me if I'm wrong.
But has the work MIRI has done so far brought us closer to building a working FAI or any kind of AGI for that matter? Even a tiny bit?
They do intend on actually building an FAI, but that doesn't preclude them from also trying to provide material for others who might do it.
If it's worth saying, but not worth its own post (even in Discussion), then it goes here.