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 Safety engineering, target selection, and alignment theoryThe need to scale MIRI’s methodsAI and Effective AltruismRead More
