Let's look at a simple example of where we first machine-learn an algorithm from data and then distill it out in the form of code that provably meets spec, OK?
Veamos un ejemplo sencillo en el que primero aprendemos automáticamente un algoritmo a partir de los datos y luego lo destilamos en forma de código que cumple con las especificaciones, ¿sí?