Abstract: The advent of artificial intelligence raises an important question: Can AI assist mathematicians in solving open problems in mathematics? This talk explores this question from multiple perspectives. We will explore how different types of AI models can be trained to provide valuable insights into mathematical questions from different areas of mathematics and applied mathematics. Additionally, we will present examples of AI models specifically designed for automated theorem proving.

Brief Bio: Amaury Hayat earned his doctorate in 2019 under the supervision of Jean-Michel Coron at Sorbonne Université. Since 2023, he has been a full professor at Ecole des Ponts (Institut Polytechnique de Paris) in France, where he has been a faculty member since 2019. In 2019-2020, he was a research associate at Rutgers University Camden. Amaury Hayat received the L.E. Rivot Medal from the French Academy of Sciences in 2014, the European Embedded Control Institute PhD award for the year 2019, and the Solemn prize of the Chancellery of the universities of Paris in 2020. In 2021, he was listed among the Forbes 30 under 30 for Europe in sciences and healthcare and in 2024 he gave the L. Lorne Campbell Lecture. His research interests include control theory, partial differential equations, and AI for mathematics.