The majority of ongoing Folding@Home tasks are not aimed at structure determination, but rather simulating the conformational dynamics of folded proteins (exploring the energy landscape rather than searching for the global minimum). Very few of the CASP algorithms are well-suited for this problem.
Possibly not as in new FahCores. They might be useful in conjunction to each other, as AlphaFold is useful for protein structure prediction, Folding@home can confirm the predicted structure through simulation.
Is the confirmation significantly faster or is the same amount of work needed?