So “why not add it to humanity’s understanding?” begs the question. A machine-checkable certificate has been added to humanity’s archive. Whether it has been added to human understanding is precisely the issue. Proof is not merely certification; mathematics is not merely a database of truths.
