Daniel Kokotajlo comments on AGI is easier than robotaxis