Werden große Sprachmodelle das Programmieren beenden?

Die jüngsten Fortschritte bei großen Sprachmodellen (LLMs) haben eine Debatte über die Obsoleszenz des Programmierens ausgelöst. Dieser Artikel argumentiert gegen diese zu optimistische Sichtweise. Mit dem Fokus auf die algorithmische Komplexität der Programmsynthese zeigt der Autor, dass die Erzeugung korrekten Codes ein PSPACE-vollständiges Problem ist, was bedeutet, dass selbst mittelgroße Eingaben exponentielle Zeit benötigen können. Obwohl LLMs Programmierer unterstützen und die Effizienz steigern können, verhindern ihre inhärenten Einschränkungen, dass sie Programmierer vollständig ersetzen. Der Kern des Programmierens bleibt die Problemlösung und das Systemdesign, was menschlichen Einfallsreichtum und Kreativität erfordert.