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 Proof-Producing Reflection for HOL: With an Application to Model Polymorphism Quantilizers: A Safer Alternative to Maximizers for Limited Optimization Formalizing Convergent Instrumental Goals 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 AI and Effective AltruismPowerful planners, not sentient softwareWhat Sets MIRI Apart?Read More
