💡 LLM es una Revolución de la Computación v2 💡 "El Software 1.0 automatiza lo que puedes especificar, el Software 2.0 automatiza lo que puedes verificar" Encuentra fascinante el enlace a los algoritmos de verificación polinómica (Problemas de NP), ¡en la práctica todos los problemas de NP (y algunos más) pueden automatizarse!