I am intrigues by mathematical facts that are very easy to know to be true instinctually or with a verbal explanation but are very difficult to write proofs for.

A good example of this is the four color theorem.