Applied Math Colloquium | Amaury Hayat, How can Machine Learning Help Mathematicians?

MC 5501

Speaker

Amaury Hayat, Ecole des Mines Paris Tech

Title

How can Machine Learning Help Mathematicians?

Abstract

Artificial Intelligence (AI) has demonstrated remarkable achievements across diverse fields, 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 provide valuable insights into several mathematical questions from different areas of mathematics and applied mathematics. We will then present examples of AI models specifically trained to prove mathematical theorems on their own.