Eliezer has expressed that ultimately, the goal of MIRI is not just research how to make FAI, but to be the one's to make it.
Hmm..I wasn't aware of that. Is there any source for that statement? Is MIRI actually doing any general AI research? I don't think that you can easily jump from one specific field of AI research (ethics) to general AI research&design.
From here.
...9. Is your pursuit of a theory of FAI similar to, say, Hutter's AIXI, which is intractable in practice but offers an interesting intuition pump for the implementers of AGI systems? Or do you intend on arriving at the actual blueprints for constructing such systems? I'm still not 100% certain of your goals at SIAI.
Definitely actual blueprint, but, on the way to an actual blueprint, you probably have to, as an intermediate step, construct intractable theories that tell you what you’re trying to do, and enable you to understand what’s going on whe
https://www.reddit.com/r/LessWrong/comments/2icm8m/if_we_knew_about_all_the_ways_an_intelligence/
I submitted this a while back to the lesswrong subreddit, but it occurs to me now that most LWers probably don't actually check the sub. So here it is again in case anyone that's interested didn't see it.