AIs producing original, valuable work (automated proof systems are an example; I believe there is algorithmically generated music as well that isn't awful though I'm not sure)

Here is some computer-generated music. I don't have particularly refined taste, but I enjoy it. Note: the first link with all the short MP3s is from an earlier version of the program, which was intended only to imitate other composers.