Petruchio comments on More "Stupid" Questions - Less Wrong Discussion
You are viewing a comment permalink. View the original post to see all comments and the full post content.
You are viewing a comment permalink. View the original post to see all comments and the full post content.
Comments (495)
What course of action has MIRI taken to attain a provable FAI?
This donation page lists their accomplishments in 2013 so far, which mostly seems to be research papers and analysis.
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.