💡 LLM é uma Revolução da Computação v2 💡"Software 1.0 automatiza o que você pode especificar, Software 2.0 automatiza o que você pode verificar" Ache o link para algoritmos de verificação polinomial (Problemas NP) fascinante, efetivamente todos os problemas NP (e um pouco mais) podem ser automatizados!