Structure and Guarantees

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

By Adam Chlipala
· Launched 7 months ago