Blog

Day: March 18, 2015

New report: “An Introduction to Löb’s Theorem in MIRI Research”

Today we publicly release a new technical report by Patrick LaVictoire, titled “An Introduction to Löb’s Theorem in MIRI Research.” The report’s introduction begins: This expository note is devoted to answering the following question: why do many MIRI research papers...

Introducing the Intelligent Agent Foundations Forum

Today we are proud to publicly launch the Intelligent Agent Foundations Forum (RSS), a forum devoted to technical discussion of the research problems outlined in MIRI’s technical agenda overview, along with similar research problems. Patrick’s welcome post explains: Broadly speaking,...