3 ms·200 Terabyte Proof Demonstrates Potential of Brute-Force Automated Verification2 points by jdp23 9y ago