Sería muy decepcionante si pudieras preguntar a un ordenador si la Hipótesis de Riemann es correcta y dijera: “Sí, es cierta, pero no serás capaz de entender la prueba”.