“AI coding assistants will not eliminate the need for formal programming languages, as these languages were specifically developed to provide the formal precision and lack of ambiguity that natural language lacks.”