Counterexample: The Four Color Theorem (which states that any 2-dimensional map can be colored with four colors such that no two bordering countries have the same color). It is considered proven even though the proof involves a giant computer verification which certainly can't be explained in under 100s of hours.