FLAIM: Formal Languages, AI and Mathematics

Collection FLAIM: Formal Languages, AI and Mathematics

Organisateur(s) Meta
Date(s) 03/11/2022 - 04/11/2022
URL associée https://indico.math.cnrs.fr/event/8087/
00:00:00 / 00:00:00
1 8

How can deep learning help pure mathematicians?

De Geordie Williamson

The last few years have seen the first applications of machine learning in pure mathematics. I will survey some of these, including recent work with the DeepMind team on Bruhat intervals. All applications that I know of so far are tentative. My sense is that we are beginning to explore a rich world, but I could certainly be wrong. I will try to explain the main lessons that I have learnt and where we might hope to see interesting results in the future.

Informations sur la vidéo

Dernières questions liées sur MathOverflow

Pour poser une question, votre compte Carmin.tv doit être connecté à mathoverflow

Poser une question sur MathOverflow




Inscrivez-vous

  • Mettez des vidéos en favori
  • Ajoutez des vidéos à regarder plus tard &
    conservez votre historique de consultation
  • Commentez avec la communauté
    scientifique
  • Recevez des notifications de mise à jour
    de vos sujets favoris
Donner son avis