Une IA règle en 24 heures un casse-tête mathématique vieux de 5 ans