MIRI Updates

Jed McCaleb on Why MIRI Matters

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...

OpenAI and other news

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...

New paper: “Proof-producing reflection for HOL”

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...

December 2015 Newsletter

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...

MIRI’s 2015 Winter Fundraiser!

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...

New paper: “Quantilizers”

MIRI Research Fellow Jessica Taylor has written a new paper on an error-tolerant framework for software agents, “Quantilizers: A safer alternative to maximizers for limited optimization.” Taylor’s paper will be presented at the AAAI-16 AI, Ethics and Society workshop. The...

Browse
Browse
Subscribe
Follow us on