MIRI Updates
Andrew Critch, one of the new additions to MIRI’s research team, has taken the opportunity of MIRI’s winter fundraiser to write on his personal blog about why he considers MIRI’s work important. Some excerpts: Since a team of CFAR alumni...
This is a guest post by Jed McCaleb, one of MIRI’s top contributors, for our winter fundraiser. A few months ago, several leaders in the scientific community signed an open letter pushing for oversight into the research and development...
We’re only 11 days into December, and this month is shaping up to be a momentous one. On December 3, the University of Cambridge partnered with the University of Oxford, Imperial College London, and UC Berkeley to launch the Leverhulme...
MIRI Research Fellow Benya Fallenstein and Research Associate Ramana Kumar have co-authored a new paper on machine reflection, “Proof-producing reflection for HOL with an application to model polymorphism.” HOL stands for Higher Order Logic, here referring to a popular family...
Research updates New papers: “Formalizing Convergent Instrumental Goals” and “Quantilizers: A Safer Alternative to Maximizers for Limited Optimization.” These papers have been accepted to the AAAI-16 workshop on AI, Ethics and Society. New at AI Impacts: Recently at AI Impacts...
The Machine Intelligence Research Institute’s 2015 winter fundraising drive begins today, December 1! Our current progress: Donate Now The drive will run for the month of December, and will help support MIRI’s research efforts aimed at ensuring that...