amcknight comments on What is the best compact formalization of the argument for AI risk from fast takeoff?