What course of action has MIRI taken to attain a provable FAI?

I realise that you did not say it was, but it is important to bear in mind that FAI is not MIRI's only goal. They also aim to prevent UFAI, and to prevent/adjust/encourage other possible future phenomena in AI to make things better.

4Adele_L7yThis donation page [http://lesswrong.com/lw/i3a/miris_2013_summer_matching_challenge/] lists their accomplishments in 2013 so far, which mostly seems to be research papers and analysis.

More "Stupid" Questions

by NancyLebovitz 1 min read31st Jul 2013498 comments


This is a thread where people can ask questions that they would ordinarily feel embarrassed for not knowing the answer to. The previous "stupid" questions thread went to over 800 comments in two and a half weeks, so I think it's time for a new one.