Date/heure
21 mai 2026
19:00 - 20:30
Oratrice ou orateur
Amaury Hayat
Catégorie d'évènement Conférence Sciences et Société
Résumé
L’avènement de l’intelligence artificielle soulève plusieurs questions : l’IA peut-elle aider les mathématiciens à résoudre des problèmes non résolus en mathématiques ? Pourrait-elle faire des mathématiques toute seule ? Pourrait-elle, même, devenir meilleure que les humains dans certains domaines ? Et, si oui, à quoi ressembleront les mathématiques de demain et quelle place pour les mathématiques dans un monde d’IA ? Cet exposé aborde cette question sous plusieurs angles. Nous examinerons comment différents types de modèles d’IA peuvent être entraînés pour apporter des éclairages précieux ou même prédire des solutions à des problèmes mathématiques issus de divers domaines des mathématiques et des mathématiques appliquées. Nous présenterons également des travaux récents sur des modèles d’IA spécialement conçus pour la démonstration de théorèmes et discuterons du futur qui se profile.
Entrée libre. Le parking de l’IUT Charlemagne est à votre disposition.
Lieu de la conférence : amphithéâtre Botté