Are lawsuits against AGI companies extending AGI timelines? — LessWrong