“Ever since Euclid, mathematical proofs have served a dual purpose: certifying that a statement is true and explaining why it is true. In the future these two epistemological functions may be divorced. In the future, the computer assistant may take care of the certification and leave the mathematician to look for an explanation that humans can understand.”

Dana Mackenzie, “What in the Name of Euclid Is Going On Here?”, Science, 2005

Not really that different than it’s always been. Perfectly common for there to be multiple proofs of a fact, one of which is illuminating, the other of which is not

And this is also why proofs by contradiction are so unsatisfactory.