As Leo XIV prepares his first encyclical, tech firms and Western diplomats have worked to make their case for AI inside the Vatican.