Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
CJefferson
on May 27, 2016
|
parent
|
context
|
favorite
| on:
Two-hundred-terabyte math proof is largest ever
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.
SilasX
on May 27, 2016
[–]
Ah, the benefits of having your problem in PSPACE...
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search: