@njama Oui et non : il m’a semblé comprendre que l’IA avait trouvé réellement des lignes théoriques inconnues jusqu’alors(ou des réfutations par exemple), que bien sûr tous les GM étudient dès qu’elles sont connues !