MIRI Updates
MIRI’s newest recruit: Edward Kmett!
Prolific Haskell developer Edward Kmett has joined the MIRI team! Edward is perhaps best known for popularizing the use of lenses for functional programming. Lenses are a tool that provides a compositional vocabulary for accessing parts of larger structures and...
November 2018 Newsletter
In 2018 Update: Our New Research Directions, Nate Soares discusses MIRI’s new research; our focus on “deconfusion”; some of the thinking behind our decision to default to nondisclosure on new results; and why more people than you might think should...
MIRI’s 2018 Fundraiser
Update January 2019: MIRI’s 2018 fundraiser is now concluded. Target 1 $500,000 CompletedTarget 2 $1,200,000In Progress $946,981 | | $0 | $300,000 | $600,000 | $900,000 | $1,200,000 Fundraiser concluded 345 donors contributed × Target Descriptions Target 1 Target...
2018 Update: Our New Research Directions
For many years, MIRI’s goal has been to resolve enough fundamental confusions around alignment and intelligence to enable humanity to think clearly about technical AI safety risks—and to do this before this technology advances to the point of potential catastrophe....
Embedded Curiosities
This is the conclusion of the Embedded Agency series. Previous posts: Embedded Agents — Decision Theory — Embedded World-ModelsRobust Delegation — Subsystem Alignment A final word on curiosity, and intellectual puzzles: I described an embedded agent, Emmy,...
Subsystem Alignment
[mathjax] You want to figure something out, but you don’t know how to do that yet. You have to somehow break up the task into sub-computations. There is no atomic act of “thinking”; intelligence must be built up of...
