El trabajo de un matemático es un 5% de visión creativa y un 95% de auto-verificación — Vladimir Voevodsky (Medalla Fields, 2002)