From Russell and Norvig, a famous story about difficulty in publishing with probably the first such AI-generated work: "Two researchers from Carnegie Tech, All

From Russell and Norvig, a famous story about difficulty in publishing with probably the first such AI-generated work: "Two researchers from Carnegie Tech, Allen Newell and Herbert Simon, rather stole the show [at the original Dartmouth AI Conference]. Although the others had ideas and in some cases programs for particular applications such as checkers, Newell and Simon already had a reasoning program, the Logic Theorist (LT).... Soon after the workshop, the program was able to prove most of the theorems in Chapter 2 of Russell and Whitehead's Principia Mathematica. Russell was reportedly delighted when Simon showed him that the program had come up with a proof for one theorem that was shorter than the one in Principia. The editors for the Journal of Symbolic Logic were less impressed: they rejected a paper coauthored by Newell, Simon, and Logic Theorist."