This -- human understanding lagging proofs -- is the norm in biology. You get an experiment where perturbation X caused response Y, you replicate it and know it's valid, then you have to understand how it happened. Why I like the analogy of math becoming a "lab science".