3 ms·
>The solution to the problem took a total of 4851 CPU hours (we used a supercomputer with 128 cores!), and verifying the proof took another 4336 CPU hours. The
by jimmySixDOF 4y ago
>The solution to the problem took a total of 4851 CPU hours (we used a supercomputer with 128 cores!), and verifying the proof took another 4336 CPU hours. The total uncompressed proof weighed 122 terabytes! and only 34 terabytes after compression.
It is easy to forget the scale at which academia operates.
- imiric 4y agoWhile certainly on the high end, those resources are available to consumers today. 128 cores and 122 TB of storage can be built relatively cheaply (or just rented from the cloud), and doesn't require what we traditionally considered exclusive to supercomputers. The scale of that would be in the order of thousands of cores and petabytes of storage.
- Jabbles 4y agoAre you suggesting that this is big or small? The "supercomputer" m6idn.32xlarge with 128 vCPU on AWS costs $1.3409 per Hour (spot pricing). So 9000 hours of compute would be ~$12k. https://aws.amazon.com/ec2/spot/pricing/ https://aws.amazon.com/ec2/spot/pricing/
- deleted 4y ago[deleted]
- sp332 4y agoIt's very small. You could buy outright a pair of AMD Epyc CPUs with 64 cores each for less than that. Since transferring 36 TB of data out of AWS costs about $3,000, you can actually include the rest of the system including dual-CPU motherboard and tons of storage for $15,000.