L'IA va-t-elle tuer les maths ? — L'interview d'Hugo Duminil-Copin