L'IA pour le mathématicien en exercice

Description

L'IA pour le mathématicien en exercice est un atelier ICMS de trois jours à [Édimbourg](https://www.createwith.com/cities/edinburgh), se déroulant du 14 au 16 décembre 2026 au Bayes Centre. Il examinera comment l'IA transforme la recherche mathématique, de la preuve de théorèmes automatisée et de la formalisation à la génération de conjectures et à l'analyse de grands ensembles de données mathématiques. ## Les mathématiques rencontrent l'intelligence artificielle Les modèles de fondation récents ont produit des systèmes puissants pour le raisonnement mathématique, tandis que l'apprentissage machine révèle des structures auparavant cachées dans les données mathématiques, y compris des phénomènes tels que les murmures de courbes elliptiques. Cet atelier crée un cadre focalisé dans lequel les chercheurs académiques et industriels peuvent évaluer ces avancées, démontrer des technologies émergentes et discuter des lacunes des méthodes actuelles. Le programme explorera des domaines tels que : - La preuve de théorèmes et le raisonnement mathématique assisté par IA - La formalisation automatisée utilisant des assistants de preuve tels que Lean - La génération de conjectures soutenue par l'IA - L'apprentissage machine pour de grands ensembles de données mathématiques - Des outils pour la découverte scientifique, y compris AlphaEvolve de DeepMind et Axolver et Axplorer d'Axiom Maths - Les opportunités et les limites des systèmes d'IA actuels pour les mathématiques ## Conférences et groupes de travail collaboratifs Aux côtés des conférences invitées, les participants prendront part à des groupes de travail spécialisés abordant des défis techniques et des projets collaboratifs. Ces sessions sont destinées à aider les participants à développer de nouvelles approches, identifier des problèmes partagés et initier des recherches conjointes, et non simplement à observer des démonstrations. Le mélange de présentations et de travaux de groupe ciblés fait de cet événement un moment particulièrement pertinent pour les personnes enquêtant activement sur la manière dont l'IA peut contribuer à la pratique mathématique. L'atelier s'adresse aux chercheurs et aux praticiens travaillant dans le domaine de **la mathématique, l'informatique et l'industrie**. Son accent sur les défis techniques, les assistants de preuve et la collaboration en recherche le rend mieux adapté à un public spécialisé ou au niveau de recherche plutôt qu'à ceux cherchant une introduction générale à l'IA. ## Organisateurs scientifiques… [Inscrivez-vous pour cet événement](https://icms.ac.uk/activities/workshop/ai-workingmathematician)