Stéphane Mallat : « Des démonstrations mathématiques par IA restent fragiles » | Factae