"En este nuevo paradigma de programación, la nueva característica más predictiva a considerar es la verificabilidad. Si una tarea/empleo es verificable, entonces es optimizable directamente o a través del aprendizaje por refuerzo, y se puede entrenar una red neuronal para que funcione extremadamente bien."