IA et mathématiques – une conférence d’une journée à Paris

Hi! PARIS, SCAI, DATAIA et PRAIRIE, les quatre pôles d'IA de Paris, co-organisent une conférence d'une journée sur l'intelligence artificielle et les mathématiques, en collaboration avec ELLIS Paris.

Cet événement réunira des chercheurs, des praticiens et des mathématiciens pour explorer comment l'IA transforme le raisonnement mathématique et la résolution de problèmes.
Explorer l'intersection de l'IA et des mathématiques
La conférence vise à fournir à la communauté mathématique, au sens large, des informations sur les dernières avancées de l'intelligence artificielle appliquée aux mathématiques.

Les sujets abordés comprendront :

Nouveaux modèles LLM pour le raisonnement mathématique
Techniques de formation innovantes pour les applications de l'IA en mathématiques
Contributions mathématiques à l'IA, y compris les ensembles de données spécialisés et les assistants de preuve
Au-delà des discussions théoriques, la conférence se concentrera également sur les applications pratiques, avec une session pratique l'après-midi conçue pour présenter les outils d'IA pour résoudre les problèmes mathématiques.

Programme
Date : 4 avril 2025
Lieu : Bâtiment PSL, 16 bis rue de l’Estrapade, 75005 PARIS
Pré-inscription : Gratuite mais obligatoire sur le site de la conférence

Session du matin

09h30 – 10h10 : Yann Fleureau & Jia Li (Numina)
10h10 – 10h40 : Pause café
10h40 – 11h20 : Amaury Hayat (ENPC)
11h20 – 12h00 : Marc Lelarge (Inria)
Session de l’après-midi

14h00 – 16h00 : Session pratique – Applications pratiques de l’IA pour la résolution de problèmes mathématiques
Comité d’organisation
Aymeric Dieuleveut (Hi! PARIS Fellow, École Polytechnique)
Francis Bach (Inria)
Gabriel Peyré (CNRS et ENS)
Cet événement est une occasion unique d’échanger avec des experts du à la pointe de l'IA et des mathématiques, découvrez des recherches de pointe et participez à une session pratique conçue pour explorer des applications du monde réel.