Intuition is often a good guide but a bad prophet.
"Obvious" is what is easy to prove, not what is hard to refute.
Artificial intelligence is no match for natural stupidity.