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_no...