Os Grandes Modelos de Linguagem Põem Fim à Programação?
2024-12-15
Avanços recentes em grandes modelos de linguagem (LLMs) geraram debates sobre a obsolescência da programação. Este artigo argumenta contra essa visão excessivamente otimista. Concentrando-se na complexidade computacional da síntese de programas, o autor demonstra que gerar código correto é um problema PSPACE-completo, o que significa que até mesmo entradas de tamanho moderado podem exigir tempo exponencial. Embora os LLMs possam auxiliar programadores e aumentar a eficiência, suas limitações inerentes impedem que substituam completamente os programadores humanos. O cerne da programação continua sendo a resolução de problemas e o design de sistemas, exigindo engenhosidade e criatividade humanas.