If you care about progress, you should want AGI