Machine-Verifiable-Science
The Proof Is Not the Point Anymore