BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//CERN//INDICO//EN
BEGIN:VEVENT
SUMMARY:Les mathématiques (et les sciences) à l'ère de l’IA.
DTSTART:20260617T090000Z
DTEND:20260617T093000Z
DTSTAMP:20260626T214900Z
UID:indico-event-16796@indico.math.cnrs.fr
DESCRIPTION:Speakers: Jalal Fadili\n\nSi les mathématiques ont été au c
 oeur des fondements de l'IA moderne\, cet exposé va explorer la façon do
 nt l'IA moderne\, et plus exactement les grands modèles de langages et l'
 IA agentique\, est en train de transformer progressivement la pratique des
  mathématiques.On abordera rapidement le fonctionnement général des gra
 nds modèles de langage modernes. On verra ensuite comment leur articulati
 on avec les outils de vérification formelle et les assistants de preuve p
 ermet désormais de résoudre de nombreux problèmes\, y compris certains 
 réputés difficiles. J'exposerai ensuitre quelques initiatives récentes 
 et les tendances qui dessinent une nouvelle manière d'aborder la recherch
 e (et la formation) en mathématiques dans les années à venir.\n\nhttps:
 //indico.math.cnrs.fr/event/16796/
LOCATION:Salle de conférence (XLIM)
URL:https://indico.math.cnrs.fr/event/16796/
END:VEVENT
END:VCALENDAR