L'IA est en train de provoquer une révolution sans précédent dans le domaine des mathématiques