Why is it depressing to suggest that visionaries are too busy to deal with mundane, day-to-day tasks?
Why do you think that not working out the proof, or taking advantage of an edge case that breaks the rules of a theory, detracts in any way from the theory itself? That's like suggesting that using special relativity is an insult to general relativity. It's not -- it's easier, and that why we use it. Approximations are useful. So are hacks, workarounds, short-cuts, and hard-coding. Real-world solutions to real-world problems. Academia isn't subject to those constraints.