If its proponents are taken at face value, AGI is a threat.