The Resolution of Keller's Conjecture — mentioned by Someone

Thu, 27 Aug 2020 13:03:18 GMT

Paper is at https://arxiv.org/abs/1910.03740. 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.

Paper and discussion history. A mention is not an endorsement.

The Resolution of Keller's Conjecture — HN submission

Thu, 27 Aug 2020 06:16:09 GMT

The Resolution of Keller's Conjecture

2 points; 0 discussion replies on HN. Paper and source history. A submission is not an endorsement.

The Resolution of Keller's Conjecture · HackerPapers discussions

The Resolution of Keller's Conjecture — mentioned by Someone

The Resolution of Keller's Conjecture — HN submission