Yes, I feel employees should be made known formally that they are high potentials. This could motivate them in making their best contribution to the organization. The chances of leaving the organization would be less. As per many survey results, formal identification of high potentials has helped in engaging the employees.
This also has some cons, where this could demotivate the other employees a little.