Quand l'IA permet de découvrir des conjectures démontrables en mathématique