Hasta cierto punto, pero hay un límite. Algunas pruebas fundamentales deben entenderse, ya que esas pruebas pueden tener aplicación en otros lugares. Pero muchos teoremas se infieren que son verdaderos sin entender las pruebas detrás de ellos …
¿Por qué? Porque las pruebas no elementales son extremadamente largas y complicadas, y solo unas pocas personas en el mundo pueden entenderlas. Confiamos en la reputación y la capacidad de estas personas para inventar y verificar pruebas complicadas. Para un ejemplo notable, echa un vistazo al último teorema de Fermat. Al principio se asumió que había una prueba solo porque Fermat lo dijo. Sin embargo, ¡tomó más de 350 años para que la primera prueba saliera! Además de las pruebas del Último Teorema de Fermat, hay cientos de miles de páginas y, a menudo, se saltan muchos pasos para reducir la longitud, lo que las hace aún más difíciles de entender.
** Escribo de forma anónima porque soy un recién graduado que se especializó en matemáticas, y no quiero insultar a mis profesores o compañeros