Folding@home tackles a related but different problem. They simulate folding dynamics, i.e. how does a protein reach its folded structure.

If AlphaFold gives you a picture of a protein structure, Folding@home shoots a video of that protein undergoing folding.