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.
no, alphafold is basically just a static structure predictor. folding@home explicitly models the folding process (the journey, not just the destination).
https://alphafold.ebi.ac.uk/