Vladimir_Nesov comments on College life with short AGI timelines