"J'en ai même pleuré" : pourquoi les progrès de l'intelligence artificielle plongent les mathématiciens dans "une crise existentielle"