François Charles (École normale supérieure) : L'IA résout des problèmes mathématiques centenaires - 31/08