Once, I found a curious challenge in optimizing a bitwise formula for a particular computation (by hand it took hours; brute-force, a program found the essentially-unique optimal solution in a fraction of a second). I showed it to a fellow mathematician... he was mad because he couldn't determine rhyme or reason in the solution I found. Wicked smart guy, outclasses me as a mathematician by far... but he essentially rejected my result because he couldn't ascertain how to reproduce it by hand (despite me having a relatively simple proof of optimality).
