Pope Leo XIV’s encyclical on artificial intelligence shows that, in him, ordinary people do have a champion.