科学研究
学术报告
The Role of AI in Mathematics
邀请人:尚培培
发布时间:2024-02-29浏览次数:

同济大学法语文化月系列活动之学术讲座

题目:The Role of AI in Mathematics

报告人:致远数学讲堂:Prof. Amaury Hayat (Ecole des Ponts ParisTech)

时间:2024年3月7日 15:30-17:00

地点:致远楼108室

摘要:Artificial Intelligence (AI) has demonstrated remarkable achievements across various domains, from natural language processing to mastering complex games like chess. This naturally raises the question: can AI assist mathematicians in solving open problems in mathematics? This talk aims to address this question. We will explore how AI models can be trained to learn mathematics in examples from different areas of mathematics and applied mathematics, with a focus on control theory and stabilization. We will then showcase examples of AI models that are specifically trained to prove mathematical theorems by themselves.

报告人简介: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 ParisTech 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. His research interests include control theory, partial differential equations, and AI for mathematics.

智能计算与应用教育部重点实验室

上海市智能计算前沿科学研究基地

中法工程和管理学院