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