Pretty independant of MIRI, early-stage researchers, other areas of theoretical CS (formal logic, game theory). I didn’t mean for this to be strong evidence, have changed the wording.
Pretty independant of MIRI, early-stage researchers, other areas of theoretical CS (formal logic, game theory). I didn’t mean for this to be strong evidence, have changed the wording.