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.