MIRI Updates
What is AGI?
One of the most common objections we hear when talking about artificial general intelligence (AGI) is that “AGI is ill-defined, so you can’t really say much about it.” In an earlier post, I pointed out that we often don’t have...
Benja Fallenstein on the Löbian Obstacle to Self-Modifying Systems
Benja Fallenstein researches mathematical models of human and animal behavior at Bristol University, as part of the MAD research group and the decision-making research group. Before that, she graduated from University of Vienna with a BSc in Mathematics. In her...
“Algorithmic Progress in Six Domains” Released
Today we released a new technical report by visiting researcher Katja Grace called “Algorithmic Progress in Six Domains.” The report summarizes data on algorithmic progress – that is, better performance per fixed amount of computing hardware – in six domains:...
AI Risk and the Security Mindset
In 2008, security expert Bruce Schneier wrote about the security mindset: Security requires a particular mindset. Security professionals… see the world differently. They can’t walk into a store without noticing how they might shoplift. They can’t use a computer without...
Index of Transcripts
Volunteers at MIRI Volunteers and elsewhere have helpfully transcribed several audio/video recordings related to MIRI’s work. This post is a continuously updated index of those transcripts. All transcripts of Singularity Summit talks are available here. Other available transcripts include: Philosophy...
MIRI’s December 2013 Workshop
From December 14-20, MIRI will host another Workshop on Logic, Probability, and Reflection. This workshop will focus on the Löbian obstacle, probabilistic logic, and the intersection of logic and probability more generally. Participants confirmed so far include: Nate Ackerman (Harvard)...
