Matthew Barnett comments on AGI is easier than robotaxis