Une des applications phare de l'IA est la génération de code, à tel point que certains s'interrogent sur l'avenir des développeurs et que les actions de grandes entreprises du logiciel chutent. Le code généré par LLM et Reinforcement Learning (avec "Execution Feedback") est un des sujets centraux du cours. L'énorme quantité de code disponible, la structure formelle des langages formels et l'existence d'une sémantique claire, qui sous-tend son exécution déterministe, rend l'apprentissage particulièrement efficace.
Le point de vue du cours est que le travail de développement de systèmes informatiques, au sens large, devient une activité de plus haut niveau, laissant aux assistants IA des tâches de programmation plus élémentaires. Comment spécifier, formellement, le code souhaité, comment vérifier ce code, pour l'intégrer dans un système existant, ou développé par des humains?
