MIRI Updates
Donor Story #1: Noticing Inferential Distance
2013 was by far MIRI’s most successful fundraising year (more details later), so now we’re talking to our donors to figure out: “Okay, what exactly are we doing so right?” Below is one donor’s story, anonymized and published with permission:...
7 New Technical Reports, and a New Paper
Recently, MIRI released 7 brief technical reports that explain several pieces of theoretical progress made at our December 2013 research workshop. Several of these results build on work done at our July and November 2013 workshops, and also on between-workshop...
Winter 2013 Fundraiser Completed!
Wow! MIRI’s donors just finished our 2013 winter matching challenge three weeks ahead of the deadline! As it happens, the person who finished this drive was Patrick LaVictoire, who says his donation was the product of his altruism tip jar...
Josef Urban on Machine Learning and Automated Reasoning
Josef Urban is a postdoctoral researcher at the Institute for Computing and Information Sciences of the Radboud University in Nijmegen, the Netherlands. His main interest is development of combined inductive and deductive AI methods over large formal (fully semantically specified)...
2013 in Review: Operations
It’s been 8 months since our big strategic shift to a focus on Friendly AI research. What has worked well? What hasn’t? What have we learned? In this and several upcoming posts, I’ll provide a qualitative and personal self-review of...
New Paper: “Why We Need Friendly AI”
A new paper by Luke Muehlhauser and Nick Bostrom, “Why We Need Friendly AI,” has been published in the latest issue of the Cambridge journal Think: Philosophy for Everyone. Abstract: Humans will not always be the most intelligent agents on...
