The search for the truth behind a mysterious mathematical proof is the perplexing problem in David Auburn's dynamic play.