Computerphile discusses MIRI’s “Logical Induction” paper

Link post