A discussion over at God Plays Dice had me nodding in agreement: proving a theorem is like playing an adventure game. As Isabel puts it
You are in a maze of twisty little equations, all alike
alluding to a particularly fiendish puzzle in the text adventure Colossal Cave.
Having recently grappled with some tricky proofs I [...]