💡 LLM è una rivoluzione informatica v2 💡"Software 1.0 automatizza ciò che puoi specificare, Software 2.0 automatizza ciò che puoi verificare" Trova il link agli algoritmi di verifica polinomiale (Problemi NP) affascinante, praticamente tutti i problemi NP (e un po' di più) possono essere automatizzati!