Sobre demostraciones matemáticas por ordenador

" Seria desalentador si en algún lugar del desarrollo pudieras preguntar a un ordenador si la hipótesis de Riemann es correcta y este dijera: " Sí, es cierta, pero no serás capaz de entender la demostración." ".

 

Ronald Graham