Epistemic humility about formal proof is distinct from genuine uncertainty about the underlying math...