MIRI Updates
Mathematical Proofs Improve But Don’t Guarantee Security, Safety, and Friendliness
In 1979, Michael Rabin proved that his encryption system could be inverted — so as to decrypt the encrypted message — only if an attacker could factor n. And since this factoring task is computationally hard for any sufficiently large...
Upcoming Talks at Harvard and MIT
On October 15th from 4:30-5:30pm, MIRI workshop participant Paul Christiano will give a technical talk at the Harvard University Science Center, room 507, as part of the Logic at Harvard seminar and colloquium. Christiano’s title and abstract are: Probabilistic metamathematics...
Paul Rosenbloom on Cognitive Architectures
Paul S. Rosenbloom is Professor of Computer Science at the University of Southern California and a project leader at USC’s Institute for Creative Technologies. He was a key member of USC’s Information Sciences Institute for two decades, leading new directions...
Effective Altruism and Flow-Through Effects
Last month, MIRI research fellow Carl Shulman ((Carl was a MIRI research fellow at the time of the conversation, but left MIRI at the end of August 2013 to study computer science.)) participated in a recorded debate/conversation about effective altruism...
Double Your Donations via Corporate Matching
MIRI has now partnered with Double the Donation, a company that makes it easier for donors to take advantage of donation matching programs offered by their employers. More than 65% of Fortune 500 companies match employee donations, and 40% offer...
How well will policy-makers handle AGI? (initial findings)
MIRI’s mission is “to ensure that the creation of smarter-than-human intelligence has a positive impact.” One policy-relevant question is: How well should we expect policy makers to handle the invention of AGI, and what does this imply about how much...
