Folding@home mostly tries to calculate protein dynamics using already solved structures, so their work is still critical.

I'm pretty sure this means they can pack it up? Or point their infra to a different problem?

I came here wondering the same. Is this based on work done by folding@home for instance? (As in, it used their precomputed stuff as training data)