What is the best compact formalization of the argument for AI risk from fast takeoff? — LessWrong