“Traditional computers can easily automate what you can specify [...] LLMs can easily automate what you can verify”
- Andrej Karpathy, Sequoia Ascent 2026