L'intelligence artificielle comme instrument scientifique pour les mathématiques

Recherche

Conférence par M. Abouzaïd (Uni. Stanford) et table ronde

24 septembre 2026
15h30 17h30
IRMA (Strasbourg)

 Salle de conférences
IRMA | Campus Esplanade
7 Rue René Descartes
67 000 Strasbourg

 15h30 – 16h30  Conférence

Mohammed Abouzaïd (Uni. Stanford), “L’intelligence artificielle comme instrument scientifique pour les mathématiques”

   16h30 – 16h45  Pause café

 16h45 – 17h30  Table ronde

“L’intelligence artificielle comme instrument scientifique”

Intervenants : 
Mohammed Abouzaïd (Uni. Stanford)
Philippe Helluy (Uni. Strasbourg, IRMA)
Rodrigo Ibata (Uni. Strasbourg, ObAS)

Modération : 
Laurène Prehaut (Uni. Strasbourg, IRMA)

À propos du projet First Proof : https://1stproof.org/index.html