Face à l’IA, les mathématiciens vivent une crise existentielle