That's also true for regular math proofs.

No one talks about why the proof works, but they will happily spend thousands of pages explaining how it works.