Pourquoi l'IA fait peur aux mathématiciens ?