Résumé : La théorie du contrôle consiste à se poser la question : si on peut agir sur un système, que peut-on lui faire faire ? L’une des principales problématiques est le problème de stabilisation : comment agir sur un système en fonction de l’état observé pour garantir un comportement à long terme de ses solutions ? Dans cet exposé, nous allons étudier ce problème sous plusieurs angles. Nous allons d’abord présenter une approche appelée F-equivalence (ou parfois Fredholm backstepping). Le principe est simple : au lieu d’essayer directement de trouver un contrôle qui rend le système stable, on cherche à trouver un contrôle qui permet de transformer le système considéré en un système plus simple, pour lequel la stabilité est déjà connue. On parlera ensuite d’une application concrète : la stabilisation du trafic routier. Nous présenterons comment des concepts mathématiques abstraits, comme les solutions entropiques, peuvent avoir des impacts tangibles, et nous présenterons des résultats expérimentaux de réduction des accordéons sur l’autoroute à l’aide de véhicules contrôlés. Enfin, nous discuterons des avancées récentes dans le domaine de l’IA pour les mathématiques et, en particulier, comment entrainer une IA à avoir une intuition mathématique pour aider à résoudre des problèmes.