Gradual AGI as Optimization