Some comments on the math subreddit by some folks going through the proof in case anyone with a more formal background is interested: https://old.reddit.com/r/

Some comments on the math subreddit by some folks going through the proof in case anyone with a more formal background is interested: https://old.reddit.com/r/math/comments/zruc58/221209835_a_nonconstructive_proof_of_the_four/ https://old.reddit.com/r/math/comments/zruc58/221209835_a_no...