Why can't they use Folding@Home as proof of something?
This only applies if you prefer to be trustless though. If you are willing shed a bit, you can trust Folding@Home's scoreboard data (and whoever supplies the data to you) to use it as a pseudo-"PoW" and run a proper proof algorithm beneath. (which is also done by a number of coins like Banano, Curecoin, Gridcoin. You can see their people on the leaderboard with weird names like x_ALL_x, x_GRC_x or just bunch of non-sensical alphanumeric characters.)
I would say Filecoin but very strange things are going on with that coin and I can't wrap my head around how you're supposed to actually store things.
So unless you feel that it's useful to find prime numbers, good luck.