A. Hayat - L'IA et le futur de la pratique des mathématiques https://video.irem.univ-paris-diderot.fr/videos/watch/eb71b320-d865-47b2-a246-16ce40348c2d L'IA et le futur de la pratique des mathématiques, Amaury Hayat, Ecole des Ponts - Institut Polytechnique de Paris, Lundi 13 avril 2026 à 16h30, L'avènement de l'intelligence artificielle soulève une question importante : l'IA peut-elle aider les mathématiciens à résoudre des problèmes non résolus en mathématiques ? 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 sur 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 automatique de théorèmes. Thu, 29 Oct 2026 21:39:54 GMT https://validator.w3.org/feed/docs/rss2.html PeerTube - https://video.irem.univ-paris-diderot.fr A. Hayat - L'IA et le futur de la pratique des mathématiques https://video.irem.univ-paris-diderot.fr/client/assets/images/icons/icon-96x96.png https://video.irem.univ-paris-diderot.fr/videos/watch/eb71b320-d865-47b2-a246-16ce40348c2d All rights reserved, unless otherwise specified in the terms specified at https://video.irem.univ-paris-diderot.fr/about and potential licenses granted by each content's rightholder.