MIRI

Machine Intelligence Research Institute focuses on foundational mathematical research within the artificial intelligence domain. The organization aims to create the mathematical theory of trustworthy reasoning for advanced autonomous AI systems. MIRI serves sectors concerned with AI safety and development, including research institutions and organizations involved in AI technology. It was founded in 2000 and is based in San Francisco, California.