Every story and comment from the Hacker News API, in a layout borrowed from 2001.
A comment on A fleet of computers helps settle a 90-year-old math problem. Parent comment
Skimming it the answer appears to be “because they had that cluster”. They say they only used 20 machines (each with 24 CPUs, so I guess these are fairly beefy)
Given the 224 GB (binary) size of the proof memory usage might be a problem, too.
There are no comments on this comment yet.
Skimming it the answer appears to be “because they had that cluster”. They say they only used 20 machines (each with 24 CPUs, so I guess these are fairly beefy)
Given the 224 GB (binary) size of the proof memory usage might be a problem, too.