La place des mathématiques dans un monde d’IA

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.