As a consequence, math publications that rely on closed-source computations are not independently verifiable, and fail to meet the standard of a rigorous proof.