Une IA a résolu un problème mathématique resté sans réponse depuis 40 ans : les chercheurs craignent leur métier 30 septembre 2025
