I'd discourage claiming any biological process is "solved."

But to your point: No--AlphaFold is an amazing machine learning approach to predicting protein structure but Folding@Home is still immensely useful for simulating how proteins fold up over a timescale. They are/will be complimentary methods.

https://pmc.ncbi.nlm.nih.gov/articles/PMC11892350/

no, alphafold is basically just a static structure predictor. folding@home explicitly models the folding process (the journey, not just the destination).