"Graham, Ronald
It wouild 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.'
John Horgan. Scientific American 269:4 (October 1993) 92-103."