if you read up on foldit they take a hybrid strategy, for proteins that are simpler, they are using automated techniques. For proteins that are more complicated and harder to solve where folding requires satisfying a variety of conflicting constraints, Foldit is an experiment in using computer assisted human solving.