I don't see why we should be limited to Mersenne prime verification, there are many other scientific computational projects in various fields that could benefit from it, astrophysics, molecular biology, genetics, chemistry, climate study, cancer research, ...
Wikipedia lists a few https://en.wikipedia.org/wiki/List_of_distributed_computing_...