Program testing can be used to show the presence of bugs, but never to show their absence!
The Erdős discrepancy problem fascinated me because it was so simple to state yet so deep in its implications.
I'm like a dog, I don't speak but I understand.