💡 LLM er en Computing Revolution v2 💡 "Programvare 1.0 automatiserer det du kan spesifisere, Programvare 2.0 automatiserer det du kan verifisere" Synes lenken til polynomverifikasjonsalgoritmer (NP-problemer) er fascinerende, i praksis kan alle NP- (og litt til) problemer automatiseres!