MIRI Updates
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...
Scott Aaronson on Philosophical Progress
Scott Aaronson is an Associate Professor of Electrical Engineering and Computer Science at MIT. Before that, he did a PhD in computer science at UC Berkeley, as well as postdocs at the Institute for Advanced Study, Princeton, and the University...
2013 Winter Matching Challenge
Thanks to Peter Thiel, every donation made to MIRI between now and January 15th, 2014 will be matched dollar-for-dollar! Also, gifts from “new large donors” will be matched 3x! That is, if you’ve given less than $5k to SIAI/MIRI ever,...
