Les ordinateurs peuvent-ils faire des mathématiques ?
Infos
Rue de Pitteurs, 20
4000 Liège
Une conférence du module Sciences et Avenir organisée par Les Amis de l'Université de Liège et donnée par Yacin Hamami (ULiège/ETH Zürich)
Résumé de la conférence :
À première vue, la réponse à cette question est bien évidemment oui : nous utilisons quotidiennement notre calculatrice sur nos téléphones, nous avons tous fait l’expérience des capacités impressionnantes de nos tableurs, et dans le domaine des mathématiques appliquées – simulation numérique, optimisation, statistiques, etc. – la puissance de calcul des ordinateurs actuels permet de faire des mathématiques qui seraient tout simplement impossibles sans leur aide. Et néanmoins, les ordinateurs sont à la peine lorsqu’il s’agit de découvrir de nouvelles démonstrations mathématiques, et donc de créer de la connaissance mathématique. Pourquoi les mathématiciens surpassent-ils (encore) les ordinateurs lorsqu'il s'agit de démontrer des théorèmes ? Dans cette conférence, nous ferons un tour d'horizon des réponses qui ont été apportées à cette question. Nous verrons ainsi que les démonstrations mathématiques offrent une excellente opportunité de mieux comprendre les différences qui existent encore entre intelligence artificielle et intelligence humaine.
À propos du Forum des Savoirs
Le Forum des Savoirs a été créé par l’asbl Les Amis de l’Université de Liège en 2019 afin de regrouper, dans un même espace universitaire, différents types d'exposés ouverts à tous...
Voir l'ensemble des activités proposées par Les Amis de l'Université de Liège
Contacts
Les Amis de l'Université de Liège asbl, +32 (0)4 366 52 87, reseau-amis@uliege.be