A former student at the École Polytechnique, Amaury Hayat is now a professor at the École Nationale des Ponts et Chaussées and a member of the Korean Institute for Advanced Studies. a professor at the École Nationale des Ponts et Chaussées and a member of the Korean Institute for Advanced Studies. He holds the Hi!Paris DESCARTES internal chair and is a specialist in AI for mathematics and partial differential equation control. With the DESCARTES project, he is interested in designing AI models capable of predicting mathematical solutions to open problems and helping mathematicians prove new theorems, as well as training AI models capable of providing proof of a theorem. He received the L.E. Rivot Medal from the French Academy of Sciences in 2014, the European Embedded Control Institute Thesis Prize in 2019, and the Prix Solennel from the Chancellerie des universités de Paris in 2020. In 2021, he was listed in Forbes 30 under 30 for Europe.