|
|
|
|
|
|
by tduberne
2122 days ago
|
|
|
Am I the only one wondering why they used 40 computers, if the computation only lasted for 30 minutes? Does anyone who read the full paper jnow the reason? The article does not explain anything in that direction, but I would expect that if they could just do it on one computer and wait for two days, they would have done it... |
|
|
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.