Bousculés par l’IA, les mathématiciens s’interrogent sur leur avenir