What is intelligence? Luke Muehlhauser outlines an "imprecise but useful working definition” for intelligence that was used at MIRI.
‍