It would be very discouraging if somewhere down the line you could

ask a computer if the Riemann hypothesis is correct and it said, `Yes,

it is true, but you won't be able to understand the proof.'

...Ron Graham, as quoted by John Horgan. * Scientific American* 269:4

(October 1993) 92-103.