Cette IA a résolu un problème mathématique ouvert depuis 45 ans