Christopher King comments on Formalizing the “AI x-risk is unlikely because it is ridiculous” argument