shminux comments on List of notable people who believe in AI X-risk?