Geoffrey Miller comments on Summary: The Case for Halting AI Development—Max Tegmark on the Lex Fridman Podcast