Mathematicians have long relied on a theorem that appears undeniably true, yet every attempt to formally prove it collapses.