Amaury Hayat (Institut Polytechnique de Paris) – Stabilization of PDEs and AI for Mathematics
mercredi 18 novembre 2026, de 10:00 à 11:30
Résumé
In this talk, we will first present a new approach to the stabilization of PDEs,
called F-equivalence. The principle is simple: instead of directly trying to find a feedback
control that makes the system stable, we seek to find a feedback control that transforms the
original system into a simpler system, for which stability is already known. We will show
how this simple idea allows us to stabilize systems that have so far been out of reach of the
usual control techniques, in particular for systems where the control operators are not
admissible, and the system is not (null) controllable. In the second part, we will discuss recent
progress in AI for mathematics, in both mathematical discovery and automated theorem
proving, and we will discuss future directions.