"Software 1.0 automatizează cu ușurință ceea ce puteți specifica. Software 2.0 automatizează cu ușurință ceea ce puteți verifica." Dacă nu este verificabilă, trebuie să cadă din magia rețelei neuronale a generalizării, cu degetele încrucișate sau prin mijloace mai slabe, cum ar fi imitația. Acesta este ceea ce conduce frontiera "zimțată" a progresului în LLM-uri.