Aktuelle Spitzenmodelle von Large Language Models (LLMs) sind nicht in der Lage, effektiv zwischen natürlicher Sprache und formaler Syntax zu übersetzen und zu interpretieren, was ihre derzeitige Nützlichkeit bei der Entwicklung komplexer Systeme einschränkt.
