“Traditional computers can easily automate what you can specify [...] LLMs can easily automate what you can verify”

- Andrej Karpathy, Sequoia Ascent 2026