教皇利奥在与枢机主教们的首次会面中指出，人工智能是主要挑战