"Ohjelmisto 1.0 automatisoi helposti sen, mitä voit määrittää. Ohjelmisto 2.0 automatisoi helposti sen, mitä voit tarkistaa." Jos se ei ole todennettavissa, sen on putosin yleistämisen hermoverkon magiasta, sormet ristissä, tai heikommilla keinoilla, kuten jäljittelyllä. Tämä on se, mikä ajaa LLM:n edistyksen "rosoista" rajaa.