Evan R. Murphy comments on What are the numbers in mind for the super-short AGI timelines so many long-termists are alarmed about?