In his first encyclical, Pope Leo XIV has called for much closer regulation of AI technology, particularly in military settings.