MIRI Updates
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...
MIRI’s December 2013 Newsletter
Dear friends,We’re still experimenting with our new, ultra-brief newsletter style. Please tell us what you think of it, by replying to this email. Thanks! MIRI’s winter 2013 matching fundraiser is on! All donations made by January 15th will be matched...
