[Rencontre en ligne] Comment l'intelligence artificielle résout les casse-têtes (les plus sérieux)

Ces dernières années, l'intelligence artificielle s'est surtout fait connaître du grand public par sa toute nouvelle capacité à résoudre des problèmes plutôt faciles pour nous : qui ne sait pas reconnaître un chat, ou une personne en colère, sur une image¹. A l'inverse, les ordinateurs ont toujours été beaucoup plus rapides que nous pour résoudre des problèmes arithmétiques, ou logiques bien spécificiés². Cette capacité de calcul surhumaine ne suffit malheureusement pas à résoudre efficacement une large famille de problèmes pourtant bien spécifiés (et contenant entre autres beaucoup de casse-têtes logiques), appelés problèmes NP-difficiles.
Mais là-aussi, les progrès des ordinateurs ont été importants ces dernières décennies, aboutissant par exemple à la preuve récente d'un nouveau théorème mathématique, difficile. Dans notre laboratoire, nous sophistiquons et déployons ces techniques de raisonnement automatique pour résoudre des casse-têtes microscopiques tout à fait sérieux: comment concevoir de nouvelles molécules ayant des propriétés d'intérêt pour la santé, les bioénergies ou la chimie verte.
Une des challenges de l'intelligence artificielle moderne consiste à combiner harmonieusement ces deux systèmes,apprentissage et raisonnement, dans un contexte qui dépasse la résolution d'un unique problème (qu'il s'agisse d'échecs, de Go, de jeu vidéo ou de design moléculaire).

⇒ Rencontre Exploreur proposée par ANITI (Artificial and Natural Intelligence Toulouse Institute)

Avec :

Thomas Schiex, directeur de recherche en IA à INRAE, à l'unité de Mathématiques et informatique appliquées de Toulouse - MIAT (INRAE), porteur de chaire ANITI ''Logique et intuition pour le design''.

Mardi 20 avril 2021 18h | En ligne
Rencontre en ligne gratuite sur inscription

Crédit : INRAE