The Machine Intelligence Research Institute (MIRI) is a non-profit research institute. Its mission is "to develop formal tools for the clean design and analysis of general-purpose AI systems, with the intent of making such systems safer and more reliable when they are developed."^[1]

History

MIRI was founded in 2000 as the Singularity Institute for Artificial Intelligence by Brian Atkins, Sabine Atkins and Eliezer Yudkowsky.^[2] It adopted its current name in 2013.^[3]

Funding

As of June 2022, MIRI has received almost $15 million in funding from Open Philanthropy^{[4][5][6][7][8]} and nearly $900,000 from the Survival and Flourishing Fund.^[9][10]