https://www.mersenne.org/various/math.php https://www.mersenne.org/various/math.php If you scroll to the very bottom there's some stuff on recent use of probab

https://www.mersenne.org/various/math.php https://www.mersenne.org/various/math.php If you scroll to the very bottom there's some stuff on recent use of probable prime proofs, as well as a fairly detailed explanation of how the whole thing operates.