„ Ist es möglich, die Spezifikation einer Programmieraufgabe automatisch, also durch einen Algorithmus, in ein Computerprogramm zu übersetzen, sodass das Programm die Aufgabe für jede mögliche Eingabe korrekt löst?“ hört sich nicht nur verdammt nach dem turingschen Halteproblem an, es ist genau dieses, da sich natürliche Sprache als turingvollständig für das Spezifizieren der Programmieraufgaben erweist. Da kommen wir mit GPT-3 der „Lösung“ auch nicht näher, weil es keine Lösung für alle denkbaren Probleme dieser Klasse geben kann.
Das sollte eigentlich zum Grundwissen eines Informatikers gehören.
Nun, wahrscheinlich haben die Redakteure der heise-Redaktion eben genau keine Informatik studiert sondern bestenfalls Germanistik.
_lars