Re:Two-hundred-terabyte math proof is largest ever
by curiousgal on Friday May 27, 2016 @08:02AM
(#11785408)
Where the f did you store all of that?!
[ Parent
| on HN ]
Re:Two-hundred-terabyte math proof is largest ever
by CJefferson on Friday May 27, 2016 @08:33AM
(#11785558)
Oh, nowhere, just dumped it as we generated it. In my experience storing these kinds of things often isn't that useful anyway, when proving correctness of the answer it's as easy to start from scratch as go through a trace of what I did previously.