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 Alignment for Advanced Machine Learning Systems Logical Induction A Formal Solution to the Grain of Truth Problem Other New Results Cheating Death in Damascus Toward Negotiable Reinforcement Learning Optimal Polynomial-Time Estimators 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 Ensuring smarter-than-human intelligence has a positive outcomeUsing machine learning to address AI riskResponse to Cegłowski on superintelligenceRead More