The Bunkbed Conjecture is False
We discuss the Bunkbed Conjecture, a long-standing conjecture about connection probabilities in percolation. We describe a recent counterexample to this conjecture, a graph on 7772 vertices, and describe its structure.