What kinds of AI systems should we build? A perspective mixing mathematical guarantees, scalable engineering, and evolutionary dynamics.