in silico modelling of anything in biology is an active field of research. It's very useful for making predictions and developing hypotheses, but any findings need to be confirmed experimentally.
From the Folding@Home website:
Folding@home has been a success. In 2000-2001, we folded several small and fast folding proteins with experimental validation of our method. We are now working to further develop our method, and to apply it to more complex and interesting proteins and protein folding and misfolding questions. Since then (2002-2006), Folding@home has studied more complex proteins, reporting on the folding of many proteins on the microsecond timescale, including BBA5, the villin headpiece, Trp Cage, among others. In 2007, we crossed the millisecond milestone by simulating a protein called NTL9, and the 10 millisecond barrier in 2010 with ACBP.
More recently (2006-present), we have been putting a great deal of effort into studying proteins relevant for diseases, such as Alzheimer’s and Hunntington’s Disease. You can learn more about our results and peer-reviewed scientific achievements on our Papers Page.
As they say, you should check out their research contributions for how it's being practically applied.
You may also be interest in this article for the science behind and prospects of protein folding prediction: Bowman GR, Voelz VA, Pande VS. 2011. Taming the complexity of protein folding. Curr Opin Struct Biol 21(1):4-11. At least try reading the conclusion for a less technical overview.