The Bunk Bed Conjecture: Intuition, AI, and the Hunt for a Counterexample

A deceptively simple math conjecture about stacked graphs turns out to be false. This episode follows Igor Pack and his students as they chase a counterexample using AI-guided search, wrestle with the demands of proof, and uncover a bridge from hypergraphs to ordinary graphs through the work of Lawrence Hollum and a rock‑concert moment that sparked the breakthrough. A deep dive into how intuition, computation, and pure reasoning collide in math.

Note: This podcast was AI-generated, and sometimes AI can make mistakes. Please double-check any critical information.

Sponsored by Embersilk LLC