MIRI Updates
This post reviews MIRI’s activities in 2017, including research, recruiting, exposition, and fundraising activities. 2017 was a big transitional year for MIRI, as we took on new research projects that have a much greater reliance on hands-on programming work and...
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...
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...
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...
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....
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,...
