And again, the history of philosophy is replacing philosophical arguments with better tools. Your link just shows sloppy thinking from both Hume and his critics.
If a mathematical proof hasn't been verified, it isn't accepted. For a proof that uses lots of new nontrivial machinery, the mathematician is expected to give talks to motivate that machinery and answer questions from other mathematicians. Or they can just build their proof in Lean from already well understood axioms.