July 21, 2026 · PDF

Coalescence-Class Cardinalities in Finite Grand Couplings Need Not Be Deterministic

The answer to Open Problem 3.11 of Grimmett and Holmes is negative. The proof is computer-assisted and reproducible, made by GPT-5.6 Sol.

probabilitymathematicsmarkov-chainscomputer-assisted-proof