L'IA redéfinit les mathématiques : nouvelles méthodes et défis théoriques | Factae