León XIV, el papa matemático, firmó su primera encíclica con orientaciones sobre el despliegue de la IA