Recent XKCD on proofs.

Summarizes my feelings quite well.