L’IA va-t-elle remplacer les mathématiciens ?