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 July 2022, MIRI has received over $14.7 million in funding from Open Philanthropy,^[4] nearly $900,000 from the Survival and Flourishing Fund,^[5][6] and over $670,000 from Effective Altruism Funds.^{[7][8][9][10]}