-
Amaury Hayat
The place of AI in the practice of mathematics
20 novembre 2026 - 16:00Salle de conférences IRMA
AI has made remarkable progress in recent years across many domains, and more recently in mathematics. Hard to imagine just a few years ago: general-purpose LLMs can now find proofs of statements that long resisted human efforts. This talk will retrace how AI for mathematics got to where it is today over the past eight years, from two angles: we will first discuss AI systems dedicated to automated theorem proving, and then see how models specifically trained for mathematics can provide valuable insights and intuitions, and even predict solutions to problems from a variety of fields. We will then try to discuss the next steps and the future of mathematics that may be ahead. -
Ellen Eischen
TBA
4 décembre 2026 - 16:00Salle de conférences IRMA
-
Frédéric Faure
TBA
19 mars 2027 - 16:00Salle de conférences IRMA
-
Serge Cantat
TBA
23 avril 2027 - 16:00Salle de conférences IRMA