"En este nuevo paradigma de programación, entonces, la nueva característica más predictiva a tener en cuenta es la verificabilidad. Si una tarea/trabajo es verificable, entonces es optimizable directamente o mediante el aprendizaje por refuerzo, y una red neuronal puede ser entrenada para funcionar extremadamente bien".