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.'
Es wäre sehr entmutigend, wenn Sie irgendwann einen Computer fragen könnten, ob die Riemannsche Hypothese korrekt ist und sie sagte: "Ja, das stimmt, aber Sie können den Beweis nicht verstehen."