Josef Urban on Machine Learning and Automated Reasoning

Posted by & filed under Conversations.

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) knowledge bases, such as large corpora of formally stated mathematical definitions, theorems and proofs. This… Read more »

2013 in Review: Operations

Posted by & filed under MIRI Strategy.

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 MIRI in 2013. This review will be mostly qualitative because we haven’t yet found quantitative metrics… Read more »

New Paper: “Why We Need Friendly AI”

Posted by & filed under Papers.

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 Earth, the ones steering the future. What will happen to us when we no longer play… Read more »

MIRI’s December 2013 Newsletter

Posted by & filed under Newsletters.

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 by Peter Thiel, with 3x matching for “new large donors”: if you’ve given less than $5,000 total in the… Read more »

Scott Aaronson on Philosophical Progress

Posted by & filed under Conversations.

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 of Waterloo. His research focuses on the capabilities and limits of quantum computers, and more… Read more »

2013 Winter Matching Challenge

Posted by & filed under News.

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, and you now give or pledge $5k or more, Thiel will donate $3 for every dollar… Read more »

New Paper: “Predicting AGI: What can we say when we know so little?”

Posted by & filed under Papers.

MIRI research associate Benja Fallenstein and UC Berkeley student Alex Mennen have released a new working paper titled “Predicting AGI: What can we say when we know so little?” From the introduction: This analysis does not attempt to predict when AGI will actually be achieved, but instead, to predict when this epistemic state with respect… Read more »

New Paper: “Racing to the Precipice”

Posted by & filed under Papers.

During his time as a MIRI research fellow, Carl Shulman contributed to a paper now available as an FHI technical report: Racing to the Precipice: a Model of Artificial Intelligence Development. Abstract: This paper presents a simple model of an AI arms race, where several development teams race to build the first AI. Under the assumption… Read more »