I’m using the defaults of each server.

In practice, as you suspected, this amounts to AES, as per the curl -v output:

SSL connection using TLSv1.3 / TLS_AES_256_GCM_SHA384