How can AI Help Mathematicians?

Orateur:
Amaury Hayat
Localisation: CERMICS
Type: Colloquium de Créteil
Site: UPEC
Salle:
UPEC AMPHI 8 Auditorium de la MSE
Date de début:
Date de fin:

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, alongside recent advances in LLMs and automated theorem proving.