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.
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.