Ancien élève à l'École Polytechnique, Amaury Hayat est aujourd'hui professeur à l'École nationale des Ponts et est Chaussées et membre du Korean Institute for Advanced Studies. Il est titulaire de la chaire interne Hi!Paris DESCARTES et est spécialiste en IA pour les mathématiques, ainsi qu'en contrôle des équations aux dérivées partielles. Avec le projet DESCARTES il s'intéresse au design de modèles d'IA capables de prédire des solutions mathématiques à des problèmes ouverts et d'aider les mathématiciens à démontrer de nouveaux théorèmes, ainsi qu'à l'entrainement de modèles d'IA capables de fournir la preuve d'un théorème. Il a reçu la médaille L.E. Rivot de l'Académie des Sciences en 2014, le prix de thèse du European Embedded Control Institute en 2019, et le Prix Solennel de la Chancellerie des universités de Paris en 2020 et, en 2021, il a été listé dans les Forbes 30 under 30 pour l'Europe.