When what would later become CFAR first started as a series of rationality workshops run under the purview of MIRI in 2012, was it always the intention of CFAR's founders to have it be a project/organization distinct from MIRI since its beginning? Or, did CFAR's founders decide to incorporate CFAR as an organization separate from MIRI after it became clear the rationality workshops weren't a fit project for MIRI itself later on?
I had some impression that this was more up-in-the-air during the very first rationality bootcamp (in part because it wasn't even clear if the bootcamp was going to be a fruitful experiment). Curious if you have a strong sense of that one way or another?