Past progress reports: April 2012, March 2012, February 2012, January 2012, December 2011. Here’s what the Machine Intelligence Research Institute did in May 2012: How to Purchase AI Risk Reduction: Luke wrote a series of posts on how to purchase...