Mathematics for an by Large Language Models – 2025 Edition

Collection Mathematics for an by Large Language Models – 2025 Edition

Organisateur(s) François Charton, Michael Douglas, Amaury Hayat, Yiannis Vlassopoulos
Date(s) 22/05/2025 - 22/05/2025
URL associée https://indico.math.cnrs.fr/event/14253/
00:00:00 / 00:00:00
1 1

Why are LLMs not Better at Finding Proofs?

De Timothy Gowers

Informations sur la vidéo

  • Date de captation 22/05/2025
  • Date de publication 27/05/2025
  • Institut IHES
  • Langue Anglais
  • Audience Chercheurs
  • Format MP4

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