Automatic Generation of Distributed Algorithms with Generative AI.