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

Research

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

24 September 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”

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