What should AGI look like?