"In 1956, Herb Simon... predicted that within ten years computers would beat the world chess champion, compose "aesthetically satisfying" original music, and prove new mathematical theorems. It took forty years, not ten, but all these goals were achieved—and within a few years of each other! The music composed by David Cope's programs cannot be distinguished... from that composed by Mozart, Beethoven, and Bach. In 1976, a computer was used in the proof of the long-unsolved "four color problem.""