Machine Intelligence Research Institute とは

旧称人工知能研究所(SIAI)である機械知能研究所(MIRI)は、2000年に設立された非営利団体で、Strong AIの開発に関連する安全問題を研究しています。
MIRIの技術アジェンダでは、将来のAIソフトウェア(フレンドリーな人工知能)の安全な運用を保証するために新しい正式なツールが必要であると述べています。組織は、このプロジェクトのための数学的基盤を開発するための定期的な研究ワークショップを開催し、長期的なAI結果を研究するいくつかの学術的および非営利団体の1つとして挙げられています。