 1958 , H. A. Simon and Allen Newell : " within ten years a digital computer will be the world 's chess champion " and " within ten years a digital computer will discover and prove an important new mathematical theorem . " 
