"Software 1.0 automatizza facilmente ciò che puoi specificare. Software 2.0 automatizza facilmente ciò che puoi verificare." Se non è verificabile, deve cadere dalla magia di generalizzazione delle reti neurali, incrociando le dita, o tramite mezzi più deboli come l'imitazione. Questo è ciò che guida il confine "frastagliato" del progresso nei LLM.