L'IA révolutionne la recherche mathématique en validant des théorèmes historiques | Factae