Machine Intelligence Research Institute (MIRI) — основной центр, где проводится более формальная и техническая работа по теории согласования ценностей, чем здесь. (См. список всех исследователей в этой области и их аффилиаций.) В настоящее время MIRI поддерживается главным образом отдельными спонсорами. Специализация MIRI заключается в 1) поддержке технически способных исследователей, которые приходят из внешних академических кругов, 2) поддержке фундаментальных исследований, которые могут не сразу привести к публикациям, и 3) проведении дополнительных операций с очень высокой отдачей, которые могут быть проведены без академических расходов и без прохождения через более серьёзную бюрократию. MIRI также является де-факто центром для работы над теорией принятия решений и винджевской рефлексией. MIRI работает в Беркли, Калифорнии, недалеко от кампуса Калифорнийского университета в Беркли (где работает Стюарт Рассел), но не имеет прямой связи с этим университетом.