L'IA progresse dans la résolution de problèmes de mathématiques pures. Pourra-t-elle vaincre les énigmes les plus ardues, stimulant ainsi la recherche française et l'économie numérique du pays ?