"Software 1.0 snadno automatizuje to, co můžete specifikovat. Software 2.0 snadno automatizuje to, co můžete ověřit." Pokud není ověřitelná, musí vypadnout z neuronové magie zobecnění držíme palce, nebo slabšími prostředky jako je imitace. To je to, co pohání "zubatou" hranici pokroku v LLM.