CuDIP: Mejora de la demostración de teoremas en los LLM mediante optimización directa de preferencias basada en aprendizaje curricular