Quanta's articles are long and I don't invest the time to read every one I see, but the nature of the subject material doesn't lend itself to a TL;DR that captures what is actually interesting.

A true TL;DR might be hard, but if the author finds the morning routine of the mathematician who discovered the proof worth mentioning, it's clear they aren't even trying.