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

[gwern]

I’ve just pointed out something very similar.