“Plutôt incroyable” : une IA vient de résoudre un problème mathématique vieux de 87 ans en 216 caractères