Вот навскидку три примера, разве они не нарушают теорему CAP?
1. Поиск внеземных цивилизаций
2. Поиск структуры молекул антибиотиков
3. Вычисление "красивого" хеша