Anon User comments on Loose thoughts on AGI risk