Resolviendo los misterios del universo: El desafío informático del DIINF para el radiotelescopio más grande del mundo