2 ms·
If that's the bar for amazing-ness, then purely computer-verified proofs, like those of the Four-Colour Theorem and Kepler's Conjecture, are even more amazing.
by JadeNB 6y ago
If that's the bar for amazing-ness, then purely computer-verified proofs, like those of the Four-Colour Theorem and Kepler's Conjecture, are even more amazing. :-)