An overview of MIRI’s priorities, strategies, and plans for expansion.
Our policies and financial records.
The largest supporters of our research.
High-level orientation material on our research and personnel.
We co-produce the Singularity Summit along with Singularity University.
A complete list of all publications produced by MIRI and our Research Associates.
Just as engineers build extra safety measures into the design of a bridge, we believe it is important to build extraordinary safety measures into smarter-than-human intelligence because it is an engineering project that may impact billions of lives.
Rationality is a toolkit built from cognitive science, probability theory, and decision theory. We believe that the methods of rationality are useful for solving difficult problems like those of advanced artificial intelligence.
We believe that we must test our beliefs against reality in order to have an accurate model of the world and its opportunities.
We believe that the most important problems can only be solved by picking the exactly correct answer out of a large space of apparently possible answers.