Но не верите формулам - поверьте хотя бы фактам: если бы вероятности тупо линейно складывались - не было бы никакой разницы, майнить в одиночку (хоть на CPU) или пулом, получить свои гарантированные 20 беткоэнов раз в 3 месяца или 0.2 раз в день.
Но покупатели асиков почему-то упорно сбиваются в пулы.
Наверно, потому что крупные майнинг-пулы обычно используют самописное/доработанное программное обеспечение, а не стандартный bitcoind, и они могут просто не принять смайненный блок непонятно от кого.