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.