En esta noticia del BAMS, Restrepo anunció su importante resultado sobre la diferenciabilidad de las normas en espacios de Banach para el análisis en variedades de dimensión infinita. es su respuesta a la pregunta que Lang formula en su clásico libro sobre variedades de dimensión finita.