We do foundational mathematical research to ensure smarter-than-human artificial intelligence has a positive impact. Join Our Team Learn about career opportunities and ways to get involved with MIRI. Donate Support MIRI’s ongoing research program. Stay Informed Subscribe to receive the latest news and updates. Join newsletter subscribers. Subscribe to our RSS feed. Subscribe Follow us on social networks. Follow @MIRIBerkeley Recent Papers Aligning Superintelligence with Human Interests: A Technical Research Agenda Corrigibility The Value Learning Problem Other New Results Reflective Variants of Solomonoff Induction and AIXI Two Attempts to Formalize Counterpossible Reasoning in Deterministic Settings Reflective Oracles: A Foundation for Classical Game Theory Read More Learn More About MIRI Mission Technical Agenda All Publications How to Get Involved Research Activities Workshop Schedule Research Forum Run a MIRIx Event Getting Started Strategic Analyses Davis on AI capability and motivationBrooks and Searle on AI volition and timelinesThree misconceptions in Edge.org’s conversation on “The Myth of AI”Read More