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