BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//CERN//INDICO//EN
BEGIN:VEVENT
SUMMARY:SML Jean-Paul Delahaye
DTSTART:20261116T190000Z
DTEND:20261116T203000Z
DTSTAMP:20261029T155900Z
UID:indico-event-17594@indico.math.cnrs.fr
DESCRIPTION:Une recherche informatique et mathématique collective : le ca
 lcul du cinquième « castor affairé »\nJean-Paul Delahaye\nLe calcul du
  « cinquième castor affairé »\, est un exploit extraordinaire réalis
 é il y a quelques mois dans le cadre d'un travail de recherche collectif 
 exemplaire. Il concerne les machines de Turing\, ce concept abstrait de di
 spositif de calcul imaginé en 1936 par Alan Turing et qui aujourd'hui enc
 ore est un outil important pour parler de la complexité des algorithmes e
 t de la « non-calculabilité ». Le record dont nous allons rendre compte
  comporte deux étapes principales. D’abord\, il a fallu mener une reche
 rche systématique\, longue mais assez facile\, consistant à exécuter un
 e multitude de petits calculs pouvant être mené indépendamment et en pa
 rallèle les uns des autres\, et dont il faut mémoriser certains résulta
 ts pour aboutir à une proposition plausible. Dans un second temps\, bien 
 plus délicat\, il a fallu opérer un travail minutieux de démonstration 
 du résultat suggéré. Les logiciels de validation de démonstrations\, a
 ppelés « assistants de preuve »\, se sont révélés essentiels dans ce
 tte seconde étape\, et on sait qu'ils le sont aujourd'hui aussi pour cont
 rôler les travaux des systèmes d'intelligence artificielle. Remarquable 
 aussi est le fait que cet exploit est le fruit d’un travail collaboratif
  entremêlant mathématiques et informatique\, qui témoigne d’une nouve
 lle façon de pratiquer des recherches et où l'ordinateur est un acteur c
 entral.\n\nhttps://indico.math.cnrs.fr/event/17594/
LOCATION:Amphithéâtre Descartes (École normale supérieure de Lyon)
URL:https://indico.math.cnrs.fr/event/17594/
END:VEVENT
END:VCALENDAR