The bunkbed conjecture is false
2025-06-13
We give an explicit counterexample to the bunkbed conjecture introduced by Kasteleyn in 1985. The counterexample is given by a planar graph on 7,222 vertices and is built on the recent work of Hollom (2024).